Határozzuk meg az alábbi klózhalmazok valamely rezolúciós cáfolatát.

Igazoljuk, hogy a

Equation 7.. 

formulahalmaz nem elégíthető ki.

Elsőrendű rezolúciós kalkulussal igazoljuk, hogy az alábbi formulák logikai törvények.