Consider the following premises. For all x, if x were a janitor, then x is driving a car. For all x, if x works, then x is a janitor. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x for which the fact that x works does not imply that x is driving a car.
That contradicts the premises. Therefore the answer is no.