Consider the following premises. Michael is playing tennis if and only if Elisabeth is a cashier. Michael is playing tennis if and only if Elisabeth is a cashier. Can we infer the following from them? If Elisabeth were a cashier, then Michael is playing tennis.
Yes.