Initial commit of a Prover 9 test suite runner, 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 of a simplistic/'naive' first-order logic formalisation of consent theory-based ethics for demonstration/educational purposes, including 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.