</math>
**<math>\exists x,y,z\in H: ([P(x,y)]\and [P(x,z)] \and [y\neq z])\and \neg Q(x) </math>
*מבין כל שלושה אנשים שמחים, לפחות שניים הם באותו גיל
</math>
*בכל זוג יש לפחות אדם אחד שמח.
**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>
**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>
*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים
**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \rightarrow [\exists x,y\in H: (x\neq y) \and \neg Q(x) \and \neg Q(y)]</math>
השלילה הינה: קיים זוג שמחים ואין זוג עצובים. אין זוג עצובים אם מכל זוג יש לפחות אחד שמח.
**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \and[\forall x,y\in H: (x\neq y)\rightarrow [Q(x) \or Q(y)]]</math>
*יש רק אדם אחד עצוב
*יש אדם שהוא הכי מבוגר