小前提

构建中文逻辑数据库：三段论数据集