hypothetical syllogism

a possible rule of inference, excursus A ¶6.