Code using inference rules to deduce a conclusion from given definitions and premisies. (Prototype)