Can you present the derivation of the following logical statement?
((Q ∧ R) → P), (¬(R → S) → (¬W → Q)), (Q ∨ ¬S) ⊢ (R → (P ∨ W))
spam lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor creativity violence