Consider the following premises. For all x_18, x_18 is a server. It is snowing if and only if it is overcast. It is not snowing. Can we infer the following from them? John is not a server.
That contradicts the premises. Therefore the answer is no.