Consider the following premises. w <-> w_4. p_1. ~w. u -> w_4. Can we infer u from them?
 From w <-> w_4, ~w we can infer ~w_4. Finally, from u -> w_4, ~w_4 we can infer ~u, which contradicts u. Therefore, the answer is no.