Consider the following premises. For all x, x is a server. If Charles were an artist, then it is cloudy. If it is cloudy, then Robert is not a server. Can we infer the following from them? Charles is not an artist.
 From the fact that for all x, x is a server we can infer that Robert is a server. From the fact that if it is cloudy, then Robert is not a server, and that Robert is a server we can infer that it is not cloudy. Finally, from the fact that if Charles were an artist, then it is cloudy, and that it is not cloudy we can infer that Charles is not an artist. Therefore, the answer is yes.