试写出应用归结原理进行定理证明的步骤。