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