The form 'if As are Bs and Bs are Cs, then As are Cs' uses relational transitivity, not Aristotelian...