- 强制推理