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