Consider the following premises. It is not cloudy. If James were excited, then it is cloudy. For all y, if y were a taxi driver, then y is excited. Can we infer the following from them? James is not a taxi driver.
 From the fact that for all y, if y were a taxi driver, then y is excited we can infer that if James were a taxi driver, then James is excited. From the fact that if James were excited, then it is cloudy, and that it is not cloudy we can infer that James is not excited. Finally, from the fact that if James were a taxi driver, then James is excited, and that James is not excited we can infer that James is not a taxi driver. Therefore, the answer is yes.