대형 언어 모델의 추론 능력 향상에 따라 정보 검색이 더욱 복잡해지고 있다. 단순한 문서 검색을 넘어 다양한 데이터 소스를 종합하여 답변을 생성하는 것이 요구되고 있다. 이 논문에서는 자연 연역 논리 체계를 기반으로 한 새로운 복잡성 클래스 분석 프레임워크를 제안한다.