Consider the following premises. Q_20(a_10). forall x_20: W_1(x_20) or ~Q_20(x_20). Can we infer forall x_20: ~(W_1(x_20) or S(x_20)) from them?
That contradicts the premises. Therefore the answer is no.