The subroutine uninsertfact takes a sentence and a dataset as arguments. It removes the sentence from the dataset; and, if dataindexing is true, it uses fullunindex to unindex the sentence as well.