Consider the following premises. For all x_11, x_11 will drive a car if and only if x_11 will play squash. For all x_11, x_11 will drive a car or x_11 is a cashier. For all x_11, x_11 will not play squash. For all x_11, x_11 is rich. Can we infer the following from them? Michael is rich.
 From the fact that for all x_11, x_11 will drive a car if and only if x_11 will play squash, and that for all x_11, x_11 will not play squash we can infer that for all x_11, x_11 will not drive a car. From the fact that for all x_11, x_11 will drive a car or x_11 is a cashier, and that for all x_11, x_11 will not drive a car we can infer that for all x_11, x_11 is a cashier. From the fact that for all x_11, x_11 is rich, and that for all x_11, x_11 is a cashier we can infer that for all x_11, x_11 is rich and x_11 is a cashier. From the fact that for all x_11, x_11 is rich and x_11 is a cashier we can infer that Michael is rich and Michael is a cashier. Finally, from the fact that Michael is rich and Michael is a cashier we can infer that Michael is rich. Therefore, the answer is yes.