Built with Jev by @narphorium

Jev can't reason, so this interpreter reasons for it: facts and rules are written in English and Jev evaluates each step.