https://numbas.mathcentre.ac.uk/question/43242/inference-rules-2.zip?