Consider the following premises. For all y_4, if y_4 takes a plane, then y_4 is a carpenter. If Sarah sleeps, then Elisabeth is a carpenter. Sarah is sleeping or Elisabeth is taking a plane. If it is late, then Elisabeth is not a carpenter. Can we infer the following from them? It is not late.
 From the fact that for all y_4, if y_4 takes a plane, then y_4 is a carpenter we can infer that if Elisabeth takes a plane, then Elisabeth is a carpenter. From the fact that if Sarah sleeps, then Elisabeth is a carpenter, that if Elisabeth takes a plane, then Elisabeth is a carpenter, and that Sarah is sleeping or Elisabeth is taking a plane we can infer that Elisabeth is a carpenter. Finally, from the fact that if it is late, then Elisabeth is not a carpenter, and that Elisabeth is a carpenter we can infer that it is not late. Therefore, the answer is yes.