Consider the following premises. r_3 -> q_2. q -> r_3. ~q_2. q or ~q_2. Can we infer r_3 from them?
 From q or ~q_2 we can infer q_2 -> q. From q_2 -> q, q -> r_3 we can infer q_2 -> r_3. From r_3 -> q_2, q_2 -> r_3 we can infer r_3 <-> q_2. Finally, from r_3 <-> q_2, ~q_2 we can infer ~r_3, which contradicts r_3. Therefore, the answer is no.