【多选题】

“如果某人用枪杀了人，那么某人的枪中必少了子弹，果然，某人的枪中少了子弹，所以，某人一定是用枪杀了人。”这是(　　)。

A、充分条件假言推理
B．必要条件假言推理
C．充分必要条件假言推理
D．有效推理式
E．无效推理式