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