Consider the following premises. For all x_12, if x_12 were a cashier, then x_12 is running. Mary is a cashier if and only if Mary is running. Can we infer the following from them? The fact that Mary were a cashier does not imply that Mary is running.
That contradicts the premises. Therefore the answer is no.