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