Consider the following premises. For all x_13, x_13 is fast or x_13 will cook. For all x_13, x_13 will drive a car if and only if x_13 will take a plane. There is at least one x_13 for which if x_13 were fast, then x_13 is taking a plane. For all x_13, x_13 will not drive a car. For all x_13, if x_13 takes a plane, then x_13 is fast. Can we infer the following from them? There is at least one x_13 for which x_13 will cook.
 From the fact that for all x_13, x_13 will drive a car if and only if x_13 will take a plane, and that for all x_13, x_13 will not drive a car we can infer that for all x_13, x_13 will not take a plane. From the fact that there is at least one x_13 for which if x_13 were fast, then x_13 is taking a plane, and that for all x_13, if x_13 takes a plane, then x_13 is fast we can infer that there is at least one x_13 for which x_13 is fast if and only if x_13 will take a plane. From the fact that there is at least one x_13 for which x_13 is fast if and only if x_13 will take a plane, and that for all x_13, x_13 will not take a plane we can infer that there is at least one x_13 for which x_13 is not fast. Finally, from the fact that for all x_13, x_13 is fast or x_13 will cook, and that there is at least one x_13 for which x_13 is not fast we can infer that there is at least one x_13 for which x_13 will cook. Therefore, the answer is yes.