Consider the following premises. For all x_13, if x_13 were an astronaut, then x_13 is sleeping. If Charles sleeps, then Charles is working. For all x_13, if x_13 works, then x_13 is an astronaut. Charles is sleeping. Can we infer the following from them? Charles is working.
 From the fact that for all x_13, if x_13 works, then x_13 is an astronaut, and that for all x_13, if x_13 were an astronaut, then x_13 is sleeping we can infer that for all x_13, if x_13 works, then x_13 is sleeping. From the fact that for all x_13, if x_13 works, then x_13 is sleeping we can infer that if Charles works, then Charles is sleeping. From the fact that if Charles sleeps, then Charles is working, and that if Charles works, then Charles is sleeping we can infer that Charles is sleeping if and only if Charles is working. From the fact that Charles is sleeping if and only if Charles is working we can infer that if Charles sleeps, then Charles is working. Finally, from the fact that if Charles sleeps, then Charles is working, and that Charles is sleeping we can infer that Charles is working. Therefore, the answer is yes.