Conjunction of Disjunctions Consequence

Theorem

 * $\left({p \lor q}\right) \land \left({r \lor s}\right) \vdash p \lor r \lor \left({q \land s}\right)$