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