Consider the following premises. If Robert makes tea, then Sarah is drinking water. Joseph is a sailor or it is cold. If it is cold, then Sarah is taking a plane. For all x_13, if x_13 drinks water, then x_13 is taking a plane. Joseph is not a sailor or Robert is making tea. Can we infer the following from them? Sarah is not taking a plane.
 From the fact that for all x_13, if x_13 drinks water, then x_13 is taking a plane we can infer that if Sarah drinks water, then Sarah is taking a plane. From the fact that if Robert makes tea, then Sarah is drinking water, and that if Sarah drinks water, then Sarah is taking a plane we can infer that if Robert makes tea, then Sarah is taking a plane. From the fact that Joseph is a sailor or it is cold, and that Joseph is not a sailor or Robert is making tea we can infer that it is cold or Robert is making tea. Finally, from the fact that if it is cold, then Sarah is taking a plane, that if Robert makes tea, then Sarah is taking a plane, and that it is cold or Robert is making tea we can infer that Sarah is taking a plane, which contradicts that Sarah is not taking a plane. Therefore, the answer is no.