Consider the following premises. For all x_8, if x_8 sleeps, then x_8 is cooking. For all x_9, x_9 will cook. For all x_8, if x_8 cooks, then x_8 is sleeping. Can we infer the following from them? Sarah is not sleeping.
 From the fact that for all x_9, x_9 will cook we can infer that Sarah is cooking. From the fact that for all x_8, if x_8 cooks, then x_8 is sleeping, and that for all x_8, if x_8 sleeps, then x_8 is cooking we can infer that for all x_8, x_8 will cook if and only if x_8 will sleep. From the fact that for all x_8, x_8 will cook if and only if x_8 will sleep we can infer that Sarah is cooking if and only if Sarah is sleeping. From the fact that Sarah is cooking if and only if Sarah is sleeping we can infer that if Sarah cooks, then Sarah is sleeping. Finally, from the fact that if Sarah cooks, then Sarah is sleeping, and that Sarah is cooking we can infer that Sarah is sleeping, which contradicts that Sarah is not sleeping. Therefore, the answer is no.