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