Knowledge base now should just keep all the rules in cnf