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