refuting handled in circular manner,
some additional clauses added to the KB in suggest()