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

• A、一次运用选言推理的否定肯定式
• B、联言推理的分解式
• C、两次运用选言推理的否定肯定式
• D、充分条件推理的肯定前件式
• E、联言推理的组合式