tags: ["task_categories:text-classification", "task_ids:natural-language-inference", "task_ids:multi-input-text-classification", "multilinguality:monolingual", "language:en", "license:apache-2.0", "size_categories:10K<n<100K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "arxiv:2305.03353", "region:us", "theory of mind", "tom", "Logical-Reasoning", "Modal-Logic", "Reasoning", "Logics", "Logic", "nli", "model-checking", "natural language inference"]