What is "Hypothetical Syllogism".

Hypothetical syllogism is a law that if the argument is of the form p --> q q---> r Therefore p---> r Then it'll always be a tautology. i.e. if the p implies q and q implies r is true then its conclusion p implies r is always true.