Hypothetical Syllogism

Context
Natural deduction.

Definition
$$p \Longrightarrow q, q \Longrightarrow r \vdash p \Longrightarrow r$$

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

Proof
These are proved by the tableau method: