Added inference by depth-first search, though it seems faulty. Added many
test cases for inferences, etc