随着推理向前推进，推出的结论越来越接近最终目标，这是非单调推理