Consider the following premises. u -> ~w. p -> u. ~p_9. p_9 or w. Can we infer ~p from them?
 From p_9 or w, ~p_9 we can infer w. From u -> ~w, w we can infer ~u. Finally, from p -> u, ~u we can infer ~p. Therefore, the answer is yes.