 Antecedent monotonic patterns are an ineliminable part of a strict conditional logic. Examples of them often sound compelling. For  example, the transitive inference  (25)  sounds perfectly reasonable, as does the antecedent strengthening  inference  (26).