Consider the following premises. S_10(b_3) -> w. forall x_10: R_2(x_10) -> S_10(x_10). ~w. Can we infer ~R_2(b_3) from them? If possible, name the inference rules being used at each step.
 From forall x_10: R_2(x_10) -> S_10(x_10) we can infer R_2(b_3) -> S_10(b_3) via universal instantiation. From S_10(b_3) -> w, ~w we can infer ~S_10(b_3) via modus tollens. Finally, from R_2(b_3) -> S_10(b_3), ~S_10(b_3) we can infer ~R_2(b_3) via modus tollens. Therefore, the answer is yes.