Consider the following premises. If Michael were a server, then William is driving a car. For all x_17, if x_17 were excited, then x_17 is a server. Michael is excited. If William drives a car, then Michael is excited. Can we infer the following from them? Michael is a server.
 From the fact that for all x_17, if x_17 were excited, then x_17 is a server we can infer that if Michael were excited, then Michael is a server. From the fact that if Michael were a server, then William is driving a car, and that if William drives a car, then Michael is excited we can infer that if Michael were a server, then Michael is excited. From the fact that if Michael were excited, then Michael is a server, and that if Michael were a server, then Michael is excited we can infer that Michael is excited if and only if Michael is a server. From the fact that Michael is excited if and only if Michael is a server we can infer that if Michael were excited, then Michael is a server. Finally, from the fact that if Michael were excited, then Michael is a server, and that Michael is excited we can infer that Michael is a server. Therefore, the answer is yes.