Removes a fact from the fact-list.
(retract <retract-specifier>+ | *) <retract-specifier> ::= <fact-specifier> | <integer-expression>