["size_categories:1K<n<10K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "premise", "dtype": "string"}, {"name": "hypothesis", "dtype": "string"}, {"name": "label", "dtype": "string"}, {"name": "premise_tptp", "dtype": "string"}, {"name": "hypothesis_tptp", "dtype": "string"}, {"name": "proof_inputs", "sequence": "string"}, {"name": "proof", "dtype": "string"}, {"name": "n", "dtype": "int64"}, {"name": "ni", "dtype": "int64"}, {"name": "evidence_indices", "sequence": "int64"}, {"name": "counterfactuals", "dtype": "string"}, {"name": "evidences_necessity", "dtype": "bool"}, {"name": "mapping", "dtype": "string"}]