24.4 귀추 추론의 형식적 구조