推理終了