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