3. feladat - formalizálás
Aladár fia János. Bálint fia Károly. Mindkét fiu sportoló. A sportoló fiúk magasabbra nőnek, mint az apjuk, ezalól csak akkor lehet kivétel, ha az apa kosárlabdázó volt. Aladár kosárlabdázott, Bálint nem, mégis ő a magasabb kettejük közül. Károly viszont alacsonyabb Jánosnál. Lássuk be, hogy János magasabb, mint az apja.
A(A,J) ? A(B,K) ? S(J) ? S(K) ? K(A) ? ? K(B) ? M(B,A) ? M(J,K)
(?x)(?y)(S(x) ? A(y,x) ? ?K(y) ? M(x,y))
+ (?x)(?y)(?z)(M(x,y) ? M(y,z) ? M(X,z))