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