Prove the following. Remember to make only one step at a time and not skip steps. Also, remember to cite the rule that you apply for each step, and which lines you applied it to:
L1: P ⇒ Q
L2: ¬R ⇒ (P ∧ Q)
L3: Q ⇒ ¬U
L4: (P ∧ Q) ⇒ ¬P
Goal: ¬P ∨ ( ¬U ∧ R)