Consider the following premises. r_2. r. r -> q_1. Can we infer q_1 and r_2 from them?
 From r -> q_1, r we can infer q_1. Finally, from q_1, r_2 we can infer q_1 and r_2. Therefore, the answer is yes.