對比式推理路徑合成