added knowledge to rules inferrer