Consider the following premises. For all x_20, x_20 is fast. Mary is a lawyer or Joseph is a bartender. Mary is not a lawyer. Can we infer the following from them? If we can, name the inference rule being used: Mary is not a lawyer.
That is one of the premises. Therefore, the answer is yes.