直接推理.ppt