Megoldások
- minden x (ha magyar(x) akkor velünk-tart(x))
- minden x (ha (kutya(x) és ugat(x)) akkor nem harap(x))
- minden x némely y megoldása(x,y)
- minden x minden y (ha (nap(x) és nap(y)) akkor egyforma(x,y))
- minden x (ha nem tiltja(a törvény,x) akkor szabad(x))
- minden x (ha idegen(x) akkor nem bízom-benne(x))
- nem némely x (rózsa(x) és nem némely y (tövis(y) és hozzátartozik(x,y))
- nem minden x minden y ismeri(x,y) és minden x némely y (ismeri(x,y) és minden z ismeri(y,z))
- minden x némely y (szereti(x,y) és minden z (ha szereti(z,y) akkor szereti(y,z)))
- vagy: minden x némely y (szereti(x,y) és minden z (ha szereti(z,x) akkor szereti(y,z)))
- minden x nem minden y (ha minden z (ha szereti(x,z) akkor szereti(z,y))
akkor szereti(x,y))