Consider the following premises. ~t. u <-> t. u <-> q. 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, which contradicts q. Therefore, the answer is no.