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