Consider the following premises. r_11 -> s_4. q_1 -> s_4. ~q or r_11. q or q_1. r_1 -> ~s_4. Can we infer ~r_1 from them?
 From q or q_1, ~q or r_11 we can infer q_1 or r_11. From q_1 -> s_4, r_11 -> s_4, q_1 or r_11 we can infer s_4. Finally, from r_1 -> ~s_4, s_4 we can infer ~r_1. Therefore, the answer is yes.