Consider the following premises. For all y, y is poor or y will not drive a car. For all y, y is poor if and only if y will go running. For all y, y will drive a car or y will go running. Can we infer the following from them? There is at least one y for which neither y is poor nor y is a poet.
 From the fact that for all y, y is poor or y will not drive a car we can infer that for all y, if y drives a car, then y is poor. From the fact that for all y, y is poor if and only if y will go running we can infer that for all y, if y goes running, then y is poor. From the fact that for all y, if y drives a car, then y is poor, that for all y, if y goes running, then y is poor, and that for all y, y will drive a car or y will go running we can infer that for all y, y is poor. Finally, from the fact that for all y, y is poor we can infer that for all y, y is poor or y is a poet, which contradicts that There is at least one y for which neither y is poor nor y is a poet. Therefore, the answer is no.