Consider the following premises. w_3. q_10 -> w_2. r or w. w -> w_2. r -> q_10. Can we infer w_3 and w_2 from them? If possible, name the inference rules being used at each step.
 From r -> q_10, q_10 -> w_2 we can infer r -> w_2 via transitivity. From r -> w_2, w -> w_2, r or w we can infer w_2 via disjunction elimination. Finally, from w_3, w_2 we can infer w_3 and w_2 via conjunction. Therefore, the answer is yes.