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