Consider the following premises. w -> ~s. p -> w. s. Can we infer ~p from them? If possible, name the inference rules being used at each step.
 From w -> ~s, s we can infer ~w via modus tollens. Finally, from p -> w, ~w we can infer ~p via modus tollens. Therefore, the answer is yes.