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