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