Generálj kielégíthetetlen klózhalmazt!
Feladat:
Alap rezolúciós levezetés:
Elsőrendű rezolúciós levezetés: