Consider the following premises. For all x_12, if x_12 takes a plane, then x_12 is fast. For all x_12, if x_12 climbs a mountain, then x_12 is not fast. For all x_12, if x_12 were excited, then x_12 is fast. For all x_12, x_12 will take a plane or x_12 is excited. For all x_12, x_12 will climb a mountain or x_12 is not a sailor. Can we infer the following from them? For all x_12, x_12 is not a sailor.
 From the fact that for all x_12, if x_12 takes a plane, then x_12 is fast, that for all x_12, if x_12 were excited, then x_12 is fast, and that for all x_12, x_12 will take a plane or x_12 is excited we can infer that for all x_12, x_12 is fast. From the fact that for all x_12, if x_12 climbs a mountain, then x_12 is not fast, and that for all x_12, x_12 is fast we can infer that for all x_12, x_12 will not climb a mountain. From the fact that for all x_12, x_12 will climb a mountain or x_12 is not a sailor we can infer that for all x_12, if x_12 were a sailor, then x_12 is climbing a mountain. Finally, from the fact that for all x_12, if x_12 were a sailor, then x_12 is climbing a mountain, and that for all x_12, x_12 will not climb a mountain we can infer that for all x_12, x_12 is not a sailor. Therefore, the answer is yes.