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