Consider the following premises. For all y, y will sleep or y will not take a plane. For all y, if y makes tea, then y is taking a plane. For all y, if y sleeps, then y is making tea. Karen is not making tea. Can we infer the following from them? Karen is taking a plane.
 From the fact that for all y, y will sleep or y will not take a plane we can infer that for all y, if y takes a plane, then y is sleeping. From the fact that for all y, if y takes a plane, then y is sleeping, and that for all y, if y sleeps, then y is making tea we can infer that for all y, if y takes a plane, then y is making tea. From the fact that for all y, if y makes tea, then y is taking a plane, and that for all y, if y takes a plane, then y is making tea we can infer that for all y, y will make tea if and only if y will take a plane. From the fact that for all y, y will make tea if and only if y will take a plane we can infer that Karen is making tea if and only if Karen is taking a plane. Finally, from the fact that Karen is making tea if and only if Karen is taking a plane, and that Karen is not making tea we can infer that Karen is not taking a plane, which contradicts that Karen is taking a plane. Therefore, the answer is no.