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