The emptytheory subroutine takes a dataset or ruleset as argument. It unindexes all of the facts / rules from the data set / ruleset and removes them from the dataset / ruleset.