Consider the following premises. There is at least one y for which y will play squash or y will not sleep. For all y, if y plays squash, then y is sleeping. Can we infer the following from them? For all y, the fact that y sleeps does not imply that y is playing squash.
That contradicts the premises. Therefore the answer is no.