Consider the following premises. For all y, y is a police officer if and only if y will play squash. If James plays squash, then James is a police officer. Can we infer the following from them? James is a police officer if and only if James is playing squash.
Yes.