합성 추론의 논리적 구조: 알려진 것에서 결론으로 가는 유추적 경로