Megoldások
- Arisztotelész = a Sztagirita
- x ≠ Éva
- minden x (némely y hozzátartozik(x,y) akkor-és-csak-akkor-ha nem x = én)
- nem ismeri(én,x) és némely y (ismeri(én,y) és ismeri(y,x)
- minden x (ha (páros(x) és prím(x) akkor x = 2)
- minden x (mindent-tud(x) akkor-és-csak-akkor-ha x = Isten)
- esetleg: minden x (minden y tudja(x,y) akkor-és-csak-akkor-ha x = Isten)
- némely x (bemutatta(x,y,János) és x ≠ z)
- minden x (ha tudja(x) akkor x = y)
- minden x (ha cikk(x) akkor némely y némely z
(cikk(y) és cikk(z) és hivatkozik(x,y) és hivatkozik(x,z) és x ≠ y és x ≠ z és y ≠ z)
- némely x némely y némely z
(ült-a-padon(x) és ült-a-padon(y) és ült-a-padon(z) és
x ≠ y és x ≠ z és y ≠ z )
- esetleg: némely x némely y némely z
(minden u (ült-a-padon(u) akkor-és-csak-akkor-ha (u = x vagy u = y vagy u = z))