反应式逐步推理