Consider the following premises. If Mary sleeps, then Mary is a cashier. For all y, y will sleep if and only if y is a cashier. Can we infer the following from them? If we can, name the inference rule being used: If Mary sleeps, then Mary is a cashier.
That is one of the premises. Therefore, the answer is yes.