Consider the following premises. For all x_10, if x_10 plays squash, then x_10 is an astronaut. If Jessica works, then Charles is playing squash. Charles is an astronaut or Jessica is working. For all x_10, if x_10 were an astronaut, then x_10 is playing squash. Can we infer the following from them? Charles is not playing squash.
 From the fact that for all x_10, if x_10 were an astronaut, then x_10 is playing squash, and that for all x_10, if x_10 plays squash, then x_10 is an astronaut we can infer that for all x_10, x_10 is an astronaut if and only if x_10 will play squash. From the fact that for all x_10, x_10 is an astronaut if and only if x_10 will play squash we can infer that for all x_10, if x_10 were an astronaut, then x_10 is playing squash. From the fact that for all x_10, if x_10 were an astronaut, then x_10 is playing squash we can infer that if Charles were an astronaut, then Charles is playing squash. Finally, from the fact that if Charles were an astronaut, then Charles is playing squash, that if Jessica works, then Charles is playing squash, and that Charles is an astronaut or Jessica is working we can infer that Charles is playing squash, which contradicts that Charles is not playing squash. Therefore, the answer is no.