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