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