假设 ¬(P ∨ S)∧¬Q 和 (¬P → Q) ∨ R 为真。请证明 (S ∨ ¬R) → (Q∧R) 也为真。为此，将这两个公式转化为子句形式，以及最后一个公式的否定形式，然后使用解析原理。