Consider the following premises. ~r. q. r -> q_10. q_10 -> r. Can we infer q_10 from them?
 From r -> q_10, q_10 -> r we can infer r <-> q_10. Finally, from r <-> q_10, ~r we can infer ~q_10, which contradicts q_10. Therefore, the answer is no.