$( <MM> <PROOF ASST> THEOREM= syllogism  LOC_AFTER= syllogism
 
h1::            ⊢ (φ → ψ)
h2::            ⊢ (ψ → χ)
3:2:            ⊢ (φ → (ψ → χ))
4:3:            ⊢ ((φ → ψ) → (φ → χ))
qed:1,4:        ⊢ (φ → χ)

$)