Facts are added to rules