Consider the following premises. ~q_4 or p_2. ~p_2. q_4 or q_14. ~q_14 or r_11. Can we infer ~r_11 from them?
 From q_4 or q_14, ~q_4 or p_2 we can infer q_14 or p_2. From q_14 or p_2, ~q_14 or r_11 we can infer p_2 or r_11. Finally, from p_2 or r_11, ~p_2 we can infer r_11, which contradicts ~r_11. Therefore, the answer is no.