Consider the following premises. If Sarah drives a car, then Mary is sleeping. For all x_14, if x_14 sleeps, then x_14 is working. Mary is not working. Can we infer the following from them? Sarah is not driving a car.
 From the fact that for all x_14, if x_14 sleeps, then x_14 is working we can infer that if Mary sleeps, then Mary is working. From the fact that if Mary sleeps, then Mary is working, and that Mary is not working we can infer that Mary is not sleeping. Finally, from the fact that if Sarah drives a car, then Mary is sleeping, and that Mary is not sleeping we can infer that Sarah is not driving a car. Therefore, the answer is yes.