Consider the following premises. For all x, x is a mechanic if and only if x will play squash. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x for which the fact that x were a mechanic does not imply that x is playing squash.
That contradicts the premises. Therefore the answer is no.