生物学家根据蝙蝠在黑夜能快速飞行而不会撞障碍物这一现象，曾提出“蝙蝠能在黑夜中避开障碍物飞行是因其具有特别强的视力”这一假说。由此可以推出：如果将蝙蝠的眼睛蒙上它就会撞到障碍物上。科学家为此设计了一个实验：在一个暗室中系上许多条纵横交错的钢线，并在每条钢线上系上铃铛，将蒙上眼睛的蝙蝠放在暗室中飞行，结果没有听到蝙蝠撞上钢线而引发的铃声。上述对假说验证时，运用的推理形式是（）。

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