Consider the following premises. p_15 <-> u_4. w_1 or ~q_10. ~p_15. w_1 -> q_10. u_4 <-> q_10. Can we infer ~w_1 from them?
 From p_15 <-> u_4, ~p_15 we can infer ~u_4. From u_4 <-> q_10, ~u_4 we can infer ~q_10. From w_1 or ~q_10 we can infer q_10 -> w_1. From q_10 -> w_1, w_1 -> q_10 we can infer q_10 <-> w_1. Finally, from q_10 <-> w_1, ~q_10 we can infer ~w_1. Therefore, the answer is yes.