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