8.4.5 자연어 추론(NLI) 모델을 활용한 함의(Entailment) 관계 검증