*בכל זוג יש לפחות אדם אחד שמח.
**<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>
*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים
*יש רק אדם אחד עצוב