Consider the following premises. Karen is drinking water if and only if David is taking a plane. For all x_14, x_14 will take a plane. Can we infer the following from them? Karen is not drinking water.
 From the fact that for all x_14, x_14 will take a plane we can infer that David is taking a plane. From the fact that Karen is drinking water if and only if David is taking a plane we can infer that if David takes a plane, then Karen is drinking water. Finally, from the fact that if David takes a plane, then Karen is drinking water, and that David is taking a plane we can infer that Karen is drinking water, which contradicts that Karen is not drinking water. Therefore, the answer is no.