Rules with exceptions
The rule of inference Modus ponens is not truth-preserving with respect to the semantic constraints for rules with exceptions
In a case that the rule's antecedent obtains, while there is an exception, the consequent does not always obtain