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