Consider the following premises. u_2 -> u. u_2 or ~w. Can we infer ~(w -> u) from them?
 From u_2 or ~w we can infer w -> u_2. Finally, from w -> u_2, u_2 -> u we can infer w -> u, which contradicts ~(w -> u). Therefore, the answer is no.