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