1277.142 반례 처리와 가설 정제