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