tags: ["task_categories:text-classification", "task_ids:natural-language-inference", "task_ids:multi-input-text-classification", "source_datasets:original", "language:en", "license:apache-2.0", "size_categories:100K<n<1M", "format:parquet", "modality:text", "library:datasets", "library:dask", "library:mlcroissant", "library:polars", "arxiv:2406.11035", "region:us", "logic", "reasoning", "fol", "first-order-logic", "syllogism", "sorite"]