Consider the following premises. If Mary plays tennis, then Mary is a janitor. For all z, z will play tennis if and only if z is a janitor. Can we infer the following from them? Mary is playing tennis if and only if Mary is a janitor.
Yes.