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