Consider the following premises. Elisabeth is not reading a book. Barbara is a mechanic. For all x_13, x_13 will read a book if and only if x_13 is a janitor. Can we infer the following from them? Barbara is a mechanic.
That is one of the premises. Therefore, the answer is yes.