Feladat:
Alap rezolúciós levezetés:
Elsőrendű rezolúciós levezetés: