Consider the following premises. If Karen goes running, then Mary is rich. Mary is not rich. Charles is cooking if and only if Karen is running. For all x_12, x_12 will take a plane if and only if x_12 will cook. Can we infer the following from them? Charles is taking a plane.
 From the fact that for all x_12, x_12 will take a plane if and only if x_12 will cook we can infer that Charles is taking a plane if and only if Charles is cooking. From the fact that if Karen goes running, then Mary is rich, and that Mary is not rich we can infer that Karen is not running. From the fact that Charles is cooking if and only if Karen is running, and that Karen is not running we can infer that Charles is not cooking. Finally, from the fact that Charles is taking a plane if and only if Charles is cooking, and that Charles is not cooking we can infer that Charles is not taking a plane, which contradicts that Charles is taking a plane. Therefore, the answer is no.