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