added knowledge base provided by the TA, fixed rules not firing in task 1, fixed not removing query facts in task 6