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