“如果某人用枪杀了人，那么某人的枪中必少了子弹，果然，某人的枪中少了子弹，所以，某人一定是用枪杀了人。”这是（　　）。[2003年真题]

A.充分条件假言推理

B.必要条件假言推理

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

D.有效推理式

E.无效推理式