Replication Data for: Explainable reasoning with a controlled natural language

Six datasets that have been used to evaluate reasoning with a Controlled Natural Language. A seventh file contains the grammar specification of the Controlled Natural Language.

* 'BNF Grammar.pdf' contains the grammar specification of the Controlled Natural Language in Backus-Naur Form.
* 'syllogism_dataset.csv' contains the adapted Kaggle dataset.
* 'puzzles_dataset.csv' contains logical puzzles found on the internet and reformulated in the Controlled Natural Language if necessary.
* 'gpt_dataset_easy.csv', 'gpt_dataset_hard.csv' and 'deepseek_dataset.csv' contain reasoning examples generated by Large Language Models.
* 'interface_examples.csv' contains the inference example used in the user tests.