size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: premises
    dtype: string
  - name: conclusion
    dtype: string
  - name: conclusion-FOL
    dtype: string
  - name: del_premise
    dtype: string
  - name: idx
    dtype: int64
  - name: label
    dtype: string
  - name: premises-FOL
    dtype: string
  - name: del_premise-FOL
    dtype: string
  splits:
  - name: train
    num_bytes: 137538
    num_examples: 150
  - name: validation
    num_bytes: 13273
    num_examples: 15
  download_size: 82397
  dataset_size: 150811
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
  - split: validation
    path: data/validation-*
---
