Consider the following premises. For all x_17, x_17 is an astronaut. For all x_17, x_17 is excited or x_17 is not an astronaut. For all x_17, if x_17 were a soldier, then x_17 is excited. Can we infer the following from them? Mary is not excited.
 From the fact that for all x_17, x_17 is excited or x_17 is not an astronaut we can infer that for all x_17, if x_17 were an astronaut, then x_17 is excited. From the fact that for all x_17, x_17 is an astronaut we can infer that for all x_17, x_17 is an astronaut or x_17 is a soldier. Finally, from the fact that for all x_17, if x_17 were an astronaut, then x_17 is excited, that for all x_17, if x_17 were a soldier, then x_17 is excited, and that for all x_17, x_17 is an astronaut or x_17 is a soldier we can infer that for all x_17, x_17 is excited, which contradicts that Mary is not excited. Therefore, the answer is no.