Implemented modus tollens, added a fact to level 0 for testing MT, and added a TODO