写出利用归结原理求解问题答案的步骤

写出利用归结原理求解问题答案的步骤

（1）写出谓词关系公式。（2）用反演法写出谓词表达式。（3）SKOLEM标准形式。（4）命题表示成合取范式并求子句集S。（5）将结论否定并加入S中，对S中可归结的子句做归结。（6）归结式仍放入S中，反复归结过程。（7）得到空子句。（8）得证。