Consider the following premises. For all x_12, x_12 is rich if and only if x_12 will cook. If Michael cooks, then Thomas is not curious. Thomas is curious. Can we infer the following from them? Michael is not rich.
 From the fact that for all x_12, x_12 is rich if and only if x_12 will cook we can infer that Michael is rich if and only if Michael is cooking. From the fact that Michael is rich if and only if Michael is cooking we can infer that if Michael were rich, then Michael is cooking. From the fact that if Michael cooks, then Thomas is not curious, and that Thomas is curious we can infer that Michael is not cooking. Finally, from the fact that if Michael were rich, then Michael is cooking, and that Michael is not cooking we can infer that Michael is not rich. Therefore, the answer is yes.