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