- 強制推理