Consider the following premises. forall z: ~R_4(z). w. q_2 -> p_10. p_10 -> R_4(b). Can we infer w and ~q_2 from them? If possible, name the inference rules being used at each step.
 From forall z: ~R_4(z) we can infer ~R_4(b) via universal instantiation. From p_10 -> R_4(b), ~R_4(b) we can infer ~p_10 via modus tollens. From q_2 -> p_10, ~p_10 we can infer ~q_2 via modus tollens. Finally, from w, ~q_2 we can infer w and ~q_2 via conjunction. Therefore, the answer is yes.