Consider the following premises. If Robert works, then William is taking a plane. If William takes a plane, then Barbara is sleeping. For all z, if z drinks water, then z is taking a plane. William is drinking water or Robert is working. Can we infer the following from them? Barbara is not sleeping.
 From the fact that for all z, if z drinks water, then z is taking a plane we can infer that if William drinks water, then William is taking a plane. From the fact that if William drinks water, then William is taking a plane, that if Robert works, then William is taking a plane, and that William is drinking water or Robert is working we can infer that William is taking a plane. Finally, from the fact that if William takes a plane, then Barbara is sleeping, and that William is taking a plane we can infer that Barbara is sleeping, which contradicts that Barbara is not sleeping. Therefore, the answer is no.