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