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