7.3 知识推理实例