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