Consider the following premises. James is listening to a song. If Linda sleeps, then James is not listening to a song. For all z, z is a sailor. Can we infer the following from them? Charles is a sailor and Linda is not sleeping.
 From the fact that if Linda sleeps, then James is not listening to a song, and that James is listening to a song we can infer that Linda is not sleeping. From the fact that for all z, z is a sailor we can infer that Charles is a sailor. Finally, from the fact that Charles is a sailor, and that Linda is not sleeping we can infer that Charles is a sailor and Linda is not sleeping. Therefore, the answer is yes.