Constructive Dilemma/Formulation 1

Theorem

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