Consider the following premises. For all x_14, x_14 is rich. Linda is excited or John is an astronaut. For all x_14, if x_14 plays tennis, then x_14 is excited. For all x_14, if x_14 plays tennis, then x_14 is not rich. For all x_14, if x_14 were excited, then x_14 is playing tennis. Can we infer the following from them? John is not an astronaut.
 From the fact that for all x_14, if x_14 plays tennis, then x_14 is excited, and that for all x_14, if x_14 were excited, then x_14 is playing tennis we can infer that for all x_14, x_14 will play tennis if and only if x_14 is excited. From the fact that for all x_14, if x_14 plays tennis, then x_14 is not rich, and that for all x_14, x_14 is rich we can infer that for all x_14, x_14 will not play tennis. From the fact that for all x_14, x_14 will play tennis if and only if x_14 is excited, and that for all x_14, x_14 will not play tennis we can infer that for all x_14, x_14 is not excited. From the fact that for all x_14, x_14 is not excited we can infer that Linda is not excited. Finally, from the fact that Linda is excited or John is an astronaut, and that Linda is not excited we can infer that John is an astronaut, which contradicts that John is not an astronaut. Therefore, the answer is no.