22.13 연역 추론과 자연 언어의 간극