Consider the following premises. For all x_10, if x_10 were a mechanic, then x_10 is sleeping. Elisabeth is sleeping if and only if Patricia is a doctor. Can we infer the following from them? Elisabeth is sleeping.
We cannot infer that from the premises. Therefore the answer is no.