Initial commit of a Prover 9 test suite runner, run_as_prover9_test_suite.py, which, when used with Prover 9 input files marked up appropriately, can be used to automate testing of properties/hypotheses of the system/theory described within.
Updated .gitignore to ignore the results/ directory created by the Prover 9 test suite runner.
Initial import in naive_consent_theory.in of a simplistic/'naive' first-order logic formalisation of consent theory-based ethics for demonstration/educational purposes. This includes test cases for use with the Prover 9 test suite runner.
Updated README.md to include some getting started instructions, as well as author contact details.