Consider the following premises. For all x_9, x_9 will sleep. Jennifer is a police officer or Charles is an electrician. If Charles were an electrician, then Elisabeth is rich. If it snows, then Elisabeth is rich. Jennifer is not a police officer or it is snowing. Can we infer the following from them? If we can, name the inference rule being used: David is sleeping and Elisabeth is rich.
 From the fact that Jennifer is a police officer or Charles is an electrician, and that Jennifer is not a police officer or it is snowing we can infer that Charles is an electrician or it is snowing via resolution. From the fact that if Charles were an electrician, then Elisabeth is rich, that if it snows, then Elisabeth is rich, and that Charles is an electrician or it is snowing we can infer that Elisabeth is rich via disjunction elimination. From the fact that for all x_9, x_9 will sleep we can infer that David is sleeping via universal instantiation. Finally, from the fact that David is sleeping, and that Elisabeth is rich we can infer that David is sleeping and Elisabeth is rich via conjunction. Therefore, the answer is yes.