Ötödik feladat megoldása (II. próbálkozás)
„Fifi egy kutya. Fifi nem ugat és csóválja a farkát. Ha egy kutya csóválja a farkát, akkor barátságos. Ha egy kutya barátságos és nem ugat, akkor nem félnek tőle. Cirmos nyávog. Aki nyávog az macska. Lássuk be, hogy van olyan macska, aki nem fél egy kutyától.”
K(F) , ? U(F) ? C(F) , (?x)(K(x) ? C(x) ? B(x))
(?x)(K(x) ? B(x) ? ? U(x) ? (? y)(? F(y,x))) , N(C) (?x)(N(x) ? M(x))
(?x)(M(x) ? ((? y)(K(y) ? ? F(x,y)))