Consider the following premises. William is a police officer. For all x_14, if x_14 were a police officer, then x_14 is a janitor. Can we infer the following from them? William is not a janitor.
 From the fact that for all x_14, if x_14 were a police officer, then x_14 is a janitor we can infer that if William were a police officer, then William is a janitor. Finally, from the fact that if William were a police officer, then William is a janitor, and that William is a police officer we can infer that William is a janitor, which contradicts that William is not a janitor. Therefore, the answer is no.