Conjunction of Disjunctions Consequence

Theorem

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