Consider the following premises. For all z_2, z_2 will play tennis if and only if z_2 will play squash. For all z_2, if z_2 plays tennis, then z_2 is playing squash. Can we infer the following from them? For all z_2, if z_2 plays squash, then z_2 is playing tennis.
Yes.