Consider the following premises. David is not working. Thomas is not curious. For all x_11, x_11 will go running if and only if x_11 is curious. If Karen were sad, then David is working. Can we infer the following from them? Karen is sad.
That contradicts the premises. Therefore the answer is no.