“如果球滚向左边则绿灯亮。”“现在球滚向左边了会出现什么情况？”“绿灯亮了。”这种推理属于（　）。