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