Automatic Retraction: Conclusions That Take Themselves Back
Mark a rule as retractable and its conclusions are only true while the rule still matches. When the facts behind a decision move, the decision comes back out, and so does everything built on top of it.