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