Rule conflicts
Material implications violating relevance can follow from material implications with inconsistent conclusions:
p1 ? q, p2 ? ?q ? p1 ? ?p2
If John is a thief, then he is punishable
If John is a minor first offender, then he is not punishable
?
If John is a minor first offender, then he is not a thief