Consider the following premises. For all z_2, z_2 is a mechanic if and only if z_2 is a janitor. If Mary were a mechanic, then Barbara is a soldier. Can we infer the following from them? Barbara is a soldier.
We cannot infer that from the premises. Therefore the answer is no.