合成推論の論理的構造:既知から結論へ導く推論経路