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