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