All A are B. All B are C. Therefore:
Transitive syllogism: All AโB, All BโC, therefore All AโC.