Consider the following premises. Susan is poor if and only if Charles is running. If Michael were a server, then Charles is running. Susan is poor or Michael is a musician. For all x_17, x_17 is a server or x_17 is not a musician. Can we infer the following from them? Charles is running.
 From the fact that for all x_17, x_17 is a server or x_17 is not a musician we can infer that for all x_17, if x_17 were a musician, then x_17 is a server. From the fact that for all x_17, if x_17 were a musician, then x_17 is a server we can infer that if Michael were a musician, then Michael is a server. From the fact that if Michael were a musician, then Michael is a server, and that if Michael were a server, then Charles is running we can infer that if Michael were a musician, then Charles is running. From the fact that Susan is poor if and only if Charles is running we can infer that if Susan were poor, then Charles is running. Finally, from the fact that if Susan were poor, then Charles is running, that if Michael were a musician, then Charles is running, and that Susan is poor or Michael is a musician we can infer that Charles is running. Therefore, the answer is yes.