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