 If the negative [premise] is [the negation] of an implication, which is compatible with [mere] coincidence, and the affirmative [premise] affirms coincidence, then the syllogism will not be productive at all. (Qiyās VI.1, 300.2–3) 