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