How to prove that this below argument is valid, using established Rules of reasoning and Logical Equivalences (using vertical statement -reason format.)

{[(¬p ˅ q ) → r ] ˄ [ r →(s v t)] ˄ (¬s ˄ ¬u)˄(¬u → ¬t)}→ p ??????

p.s For those who don't see the symbols I will put this argument in words:

{[( not p v q) --> r] and [r --> (s v t)] and (not s and not u) and ( not u --> not t)} -->p