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