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