Consider the following premises. For all x_13, x_13 will take a plane if and only if x_13 is excited. Linda is excited or Jennifer is not a soldier. Linda is taking a plane or Jennifer is a soldier. Can we infer the following from them? Linda is not excited.
 From the fact that for all x_13, x_13 will take a plane if and only if x_13 is excited we can infer that for all x_13, if x_13 takes a plane, then x_13 is excited. From the fact that for all x_13, if x_13 takes a plane, then x_13 is excited we can infer that if Linda takes a plane, then Linda is excited. From the fact that Linda is excited or Jennifer is not a soldier we can infer that if Jennifer were a soldier, then Linda is excited. Finally, from the fact that if Linda takes a plane, then Linda is excited, that if Jennifer were a soldier, then Linda is excited, and that Linda is taking a plane or Jennifer is a soldier we can infer that Linda is excited, which contradicts that Linda is not excited. Therefore, the answer is no.