Can you present the derivation of the following logical statement? ((Q ∧ R) → P), (¬(R → S) → (¬W → Q)), (Q ∨ ¬S) ⊢ (R → (P ∨ W))