eyes(mistress) ∩ sun = ∅ red(coral) ≫ red(lips(mistress)) (snow ∈ white) ⇒ (breasts(mistress) ∈ dun) (hairs ⊆ wires) ⇒ (black ∩ wires ∩ {x : x grows on head(mistress)} ≠ ∅) seen ∩ roses ∩ damasked ∩ red ∩ white ≠ ∅ seen ∩ roses ∩ damasked ∩ red ∩ white ∩ cheeks(mistress) = ∅ ∃ x(x ∈ perfumes & delight(x) > delight(breath(mistress))) speech(mistress) ∈ loved; known ∋ (pleasure(sound(music)) ≫ pleasure(speech(mistress))) seen ∩ goddess ∩ going = ∅ (mistress ∈ walking) ⇒ (trodden(mistress) = ground) thought ∋ (rareness(mistress) ≥ sup{rareness(x) : x ∈ female, x belied by false compare})