Performs inference checking using backward chaining on a given knowledge base