This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.
See the ICLR paper: https://openreview.net/pdf?id=SkZxCk-0Z
The dataset is in the data directory.
Install Haskell. Then...
This will generate a file called four_tuples.txt containing the entailments.
Each line in the file is a tuple (A, B, E, H1, H2, H3) where:
The crucial pieces of information are the two propositions (A and B) and the entailment E.
When running, there are various command-line parameters you can use:
NB four-tuples are extracted from generated pairs. But many pairs are unsuitable for four-tuples. So if you want 100 entailment lines, you need 100/4 = 25 four-tuples, and you might need 200 pairs to produce 25 four-tuples. The ratio of pairs-to-four-tuples is not constant, and depends on the complexity of the formulas.
A python parser for this dataset is included in parser.py