Consider the following premises. For all x_12, x_12 is a janitor if and only if x_12 is a politician. If James goes running, then Charles is a politician. Charles is not a janitor. If Mary sleeps, then James is running. Can we infer the following from them? Mary is sleeping.
 From the fact that for all x_12, x_12 is a janitor if and only if x_12 is a politician we can infer that Charles is a janitor if and only if Charles is a politician. From the fact that Charles is a janitor if and only if Charles is a politician, and that Charles is not a janitor we can infer that Charles is not a politician. From the fact that if Mary sleeps, then James is running, and that if James goes running, then Charles is a politician we can infer that if Mary sleeps, then Charles is a politician. Finally, from the fact that if Mary sleeps, then Charles is a politician, and that Charles is not a politician we can infer that Mary is not sleeping, which contradicts that Mary is sleeping. Therefore, the answer is no.