The subroutine eliminaterules takes a symbol and a ruleset as arguments and removes every sentence from the ruleset rule-indexed on the specified symbol.