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