Consider the following premises. For all x_14, if x_14 cooks, then x_14 is curious. It is late or William is cooking. If it is late, then William is curious. Can we infer the following from them? If we can, name the inference rule being used: William is curious or John is playing squash.
 From the fact that for all x_14, if x_14 cooks, then x_14 is curious we can infer that if William cooks, then William is curious via universal instantiation. From the fact that if it is late, then William is curious, that if William cooks, then William is curious, and that it is late or William is cooking we can infer that William is curious via disjunction elimination. Finally, from the fact that William is curious we can infer that William is curious or John is playing squash via addition. Therefore, the answer is yes.