Consider the following premises. forall x_14: W(x_14) and S_14(x_14). ~W(e). Can we infer q_1 from them?
 From forall x_14: W(x_14) and S_14(x_14) we can infer W(e) and S_14(e). From W(e) and S_14(e) we can infer W(e). From W(e) we can infer W(e) or q_1. Finally, from W(e) or q_1, ~W(e) we can infer q_1. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.