Consider the following premises. For all x_16, if x_16 were excited, then x_16 is driving a car. If William drives a car, then William is excited. William is not driving a car. Can we infer the following from them? William is not excited or Elisabeth is an office clerk.
 From the fact that for all x_16, if x_16 were excited, then x_16 is driving a car we can infer that if William were excited, then William is driving a car. From the fact that if William drives a car, then William is excited, and that if William were excited, then William is driving a car we can infer that William is driving a car if and only if William is excited. From the fact that William is driving a car if and only if William is excited, and that William is not driving a car we can infer that William is not excited. Finally, from the fact that William is not excited we can infer that William is not excited or Elisabeth is an office clerk. Therefore, the answer is yes.