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