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