Consider the following premises. s_3 <-> r_3. s_3 -> r_3. ~r_3. Can we infer ~s_3 or q from them?
 From s_3 <-> r_3 we can infer r_3 -> s_3. From r_3 -> s_3, s_3 -> r_3 we can infer r_3 <-> s_3. From r_3 <-> s_3, ~r_3 we can infer ~s_3. Finally, from ~s_3 we can infer ~s_3 or q. Therefore, the answer is yes.