Linearized Notation for sequent-style ND proofs

A linearized notation for Sequent Calculus Formulation Natural Deduction proofs can be written like this: