Consider the following premises. For all x_18, x_18 is an astronaut. For all x_18, x_18 is an astronaut if and only if x_18 is poor. For all x_18, if x_18 were a janitor, then x_18 is poor. Can we infer the following from them? Michael is poor or Elisabeth is an electrician.
 From the fact that for all x_18, x_18 is an astronaut we can infer that for all x_18, x_18 is an astronaut or x_18 is a janitor. From the fact that for all x_18, x_18 is an astronaut if and only if x_18 is poor we can infer that for all x_18, if x_18 were an astronaut, then x_18 is poor. From the fact that for all x_18, if x_18 were an astronaut, then x_18 is poor, that for all x_18, if x_18 were a janitor, then x_18 is poor, and that for all x_18, x_18 is an astronaut or x_18 is a janitor we can infer that for all x_18, x_18 is poor. From the fact that for all x_18, x_18 is poor we can infer that Michael is poor. Finally, from the fact that Michael is poor we can infer that Michael is poor or Elisabeth is an electrician. Therefore, the answer is yes.