Megoldások

1. minden x (ha magyar(x) akkor velünk-tart(x))
2. minden x (ha (kutya(x) és ugat(x)) akkor nem harap(x))
3. minden x némely y megoldása(x,y)
4. minden x minden y (ha (nap(x) és nap(y)) akkor egyforma(x,y))
5. minden x (ha nem tiltja(a törvény,x) akkor szabad(x))
6. minden x (ha idegen(x) akkor nem bízom-benne(x))
7. nem némely x (rózsa(x) és nem némely y (tövis(y) és hozzátartozik(x,y))
8. nem minden x minden y ismeri(x,y) és minden x némely y (ismeri(x,y) és minden z ismeri(y,z))
9. 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)))
10. minden x nem minden y (ha minden z (ha szereti(x,z) akkor szereti(z,y)) akkor szereti(x,y))