Consider the following premises. For all z, z will listen to a song if and only if z is a nurse. There is at least one z for which z is not a doctor or z will drive a car. For all z, if z drives a car, then z is a nurse. For all z, z is a doctor or z will listen to a song. Can we infer the following from them? There is at least one z for which z is a nurse.
 From the fact that for all z, z is a doctor or z will listen to a song, and that there is at least one z for which z is not a doctor or z will drive a car we can infer that there is at least one z for which z will listen to a song or z will drive a car. From the fact that for all z, z will listen to a song if and only if z is a nurse we can infer that for all z, if z listens to a song, then z is a nurse. Finally, from the fact that for all z, if z listens to a song, then z is a nurse, that for all z, if z drives a car, then z is a nurse, and that there is at least one z for which z will listen to a song or z will drive a car we can infer that there is at least one z for which z is a nurse. Therefore, the answer is yes.