Hypothetical Syllogism

Context
Natural deduction.

Definition

 * $$p \implies q, q \implies r \vdash p \implies r$$

Its abbreviation in a tableau proof is $$\textrm{HS}$$.

Proof
These are proved by the tableau method: