Constructive Dilemma/Formulation 3

Theorem

 * $\vdash \paren {\paren {p \lor r} \land \paren {p \implies q} \land \paren {r \implies s} } \implies \paren {q \lor s}$