24.3 후진 추론의 실행 흐름: 목표 설정에서 사실 검증까지