Hypothetical Syllogism/Formulation 4/Proof 1

Proof
Let us use the following abbreviations

Expanding the abbreviations leads us back to:
 * $\vdash \paren {p \implies q} \implies \paren {\paren {q \implies r} \implies \paren {p \implies r} }$