Consider the following premises. For all x, x is not an artist. There is at least one x for which x is an artist if and only if x is a mechanic. For all x, if x plays squash, then x is a mechanic. Can we infer the following from them? For all x, x will play squash.
 From the fact that there is at least one x for which x is an artist if and only if x is a mechanic we can infer that there is at least one x for which if x were a mechanic, then x is an artist. From the fact that there is at least one x for which if x were a mechanic, then x is an artist, and that for all x, x is not an artist we can infer that there is at least one x for which x is not a mechanic. Finally, from the fact that for all x, if x plays squash, then x is a mechanic, and that there is at least one x for which x is not a mechanic we can infer that there is at least one x for which x will not play squash, which contradicts that For all x, x will play squash. Therefore, the answer is no.