Consider the following premises. p_10 or q_6. p_10 -> u. q_6 -> w_3. w_3 -> q. u -> w_3. Can we infer q from them? If possible, name the inference rules being used at each step.
 From p_10 -> u, u -> w_3 we can infer p_10 -> w_3 via transitivity. From p_10 -> w_3, q_6 -> w_3, p_10 or q_6 we can infer w_3 via disjunction elimination. Finally, from w_3 -> q, w_3 we can infer q via modus ponens. Therefore, the answer is yes.