工具整合推理 (TIR)