25.1 유비 추론의 정의