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