8.5.4 合成推理