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.