24.7 하만의 최선의 설명 추론 정식화