高效推理工具