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