“如果某人用枪杀了人,那么某人的枪中必少了子弹,果然,某人的

---

问题: “如果某人用枪杀了人,那么某人的枪中必少了子弹,果然,某人的枪中少了子弹,所以,某人一定是用枪杀了人。”这句话属于

A: 充分条件假言推理

B:必要条件假言推理

C:充分必要条件假言推理

D:有效推理式

E:无效推理式