A fact, once inserted and later removed, can not be inserted again. The insertion will throw an exception, saying that the fact has already been inserted.