Exclusion
For all sentences Fact and State_of_affairs,
If Fact and Valid(rule(condition, conclusion)) are true, then either Excluded(rule(condition, conclusion), fact, state_of_affairs) or Applicable(rule(condition, conclusion), fact, state_of_affairs) is true.
A rule is either excluded or applicable if its condition is satisfied. Here Fact stands for the fact that satisfies the condition of the rule.