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