Consider the following premises. For all x_11, x_11 is poor. For all x_11, if x_11 makes tea, then x_11 is driving a car. For all x_11, x_11 will make tea or x_11 is happy. For all x_11, x_11 will drive a car if and only if x_11 is happy. Can we infer the following from them? Mary is a soldier.
We cannot infer that from the premises. Therefore the answer is no.