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