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