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