シロギズム

$ (A \to B) \land (B \to C) \implies (A \to C)