Use chain rule and law of contrapositive to write a valid conclusion for the following symbolic arguments.

~T⇒~Q
S⇒Q
P⇒~T
W⇒P