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