逻辑推理

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