Consider the following premises. For all x_15, x_15 is a police officer. For all x_15, x_15 will sleep and x_15 is curious. It is snowing. Can we infer the following from them? Barbara is not sleeping.
That contradicts the premises. Therefore the answer is no.