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