Rule conflicts
Anything follows from material implications with inconsistent conclusions and their antecedents:
p1 ? q, p2 ? ?q, p1, p2 ? r
If John is a thief, then he is punishable
If John is a minor first offender, then he is not punishable
John is a thief
John is a minor first offender
?
Fermat’s last theorem obtains