Consider the following premises. Linda is a carpenter if and only if Mary is an astronaut. Mary is an astronaut if and only if Jennifer is a sailor. For all z, z is not a carpenter. Can we infer the following from them? Jennifer is not a sailor or Elisabeth is sleeping.
 From the fact that for all z, z is not a carpenter we can infer that Linda is not a carpenter. From the fact that Linda is a carpenter if and only if Mary is an astronaut, and that Linda is not a carpenter we can infer that Mary is not an astronaut. From the fact that Mary is an astronaut if and only if Jennifer is a sailor, and that Mary is not an astronaut we can infer that Jennifer is not a sailor. Finally, from the fact that Jennifer is not a sailor we can infer that Jennifer is not a sailor or Elisabeth is sleeping. Therefore, the answer is yes.