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