对子句集S={P(x)∨Q(x)，～P(x)∨R(x)，～Q(x)∨R(x)，～R(x)}使用单文字归结策略对其进行归结推理。