警方在勘查一起凶杀案现场时发现：在通向杀人现场的必经通道上有一直径约２米的水洼，在水洼前后边缘的地上都留有两种脚印——水波纹底解放胶鞋印和横状密纹底塑料凉鞋印。此外，在水洼左侧还发现有走向杀人现场的解放胶鞋印，但两侧均未发现有塑料凉鞋印。这说明穿解放胶鞋的人是绕行水洼左侧去往现场的，而穿塑料凉鞋的人则是一步迈过水洼去往现场的。于是，甲、乙二位侦查员根据“如果一个人能够一步迈过２米的距离，那么他绝不会是一个老年人”这样的前提（假定该前提为真），分别作出以下侦查推断：
甲：“穿解放胶鞋的那个人是一个老年人”。
乙：“穿塑料凉鞋的那个人不是一个老年人”。
侦查员作出上述侦查推断时（）。

A.甲运用了充分条件假言推理的肯定前件式，是有效的
B.甲运用了充分条件假言推理的否定前件式，是无效的
C.乙运用了充分条件假言推理的肯定前件式，是有效的
D.乙运用了充分条件假言推理的否定前件式，是无效的