Consider the following premises. For all x_14, if x_14 were a server, then x_14 is running. Michael is a server. If it is cloudy, then Michael is not running. Can we infer the following from them? It is cloudy.
 From the fact that for all x_14, if x_14 were a server, then x_14 is running we can infer that if Michael were a server, then Michael is running. From the fact that if Michael were a server, then Michael is running, and that Michael is a server we can infer that Michael is running. Finally, from the fact that if it is cloudy, then Michael is not running, and that Michael is running we can infer that it is not cloudy, which contradicts that It is cloudy. Therefore, the answer is no.