(
\neg [P(z,y)\or P(y,z)]
)
]
</math>
השלילה: קיימת שלישית אנשים שמחים כך שכולם בגיל שונה.
**<math>\forall x,y,z\in H:
\Big[
(x\neq y)\and (x\neq z)\and (y\neq z) \and Q(x) \and Q(y) \and Q(z)
\Big]
\and
[
(
[P(x,y)\or P(y,x)]
)
\and
(
[P(x,z)\or P(z,x)]
)
\and
(
[P(z,y)\or P(y,z)]
)
]