“（p→q）∧（r→s）∧(¬q∨¬s)→(¬p∨¬r)”，这一推理式是（）。