Consider the following premises. Linda is happy. Mary is not a bartender. For all x_13, x_13 is a bartender. Can we infer the following from them? If Mary were a mechanic, then Linda is happy.
We cannot infer that from the premises. Therefore the answer is no.