以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

• A、二难推理的简单构成式
• B、二难推理的复杂构成式
• C、选言推理的肯定否定式
• D、选言推理的否定肯定式
• E、联言推理的组合式