Consider the following premises. ~S_10(a_10). forall x_10: W(x_10) <-> S_10(x_10). W(a_10). Can we infer w from them?
 From forall x_10: W(x_10) <-> S_10(x_10) we can infer W(a_10) <-> S_10(a_10). From W(a_10) we can infer W(a_10) or w. From W(a_10) <-> S_10(a_10), ~S_10(a_10) we can infer ~W(a_10). Finally, from W(a_10) or w, ~W(a_10) we can infer w. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.