Consider the following premises. Mary is a mechanic. For all y, if y were a mechanic, then y is writing a letter. Can we infer the following from them? Mary is a mechanic.
That is one of the premises. Therefore, the answer is yes.