Uses Backward Chaining to check for validity of an inference