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