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