Consider the following premises. For all z, if z goes running, then z is bored. For all z, z will play squash. For all z, z is a poet or z will go running. For all z, z is bored if and only if z is a poet. Can we infer the following from them? There is at least one z for which either z is bored or z will play squash are not true.
 From the fact that for all z, z is bored if and only if z is a poet we can infer that for all z, if z were a poet, then z is bored. From the fact that for all z, if z were a poet, then z is bored, that for all z, if z goes running, then z is bored, and that for all z, z is a poet or z will go running we can infer that for all z, z is bored. Finally, from the fact that for all z, z is bored, and that for all z, z will play squash we can infer that for all z, z is bored and z will play squash, which contradicts that There is at least one z for which either z is bored or z will play squash are not true. Therefore, the answer is no.