Consider the following premises. s -> r_1. p_7 or ~q_7. p_7 -> s. Can we infer q_7 -> r_1 from them?
 From p_7 or ~q_7 we can infer q_7 -> p_7. From p_7 -> s, s -> r_1 we can infer p_7 -> r_1. Finally, from q_7 -> p_7, p_7 -> r_1 we can infer q_7 -> r_1. Therefore, the answer is yes.