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