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