Consider the following premises. For all x, x will work if and only if x is a mechanic. For all x, x will work or x is not a mechanic. For all x, if x were a mechanic, then x is working. Can we infer the following from them? For all x, x will work if and only if x is a mechanic.
That is one of the premises. Therefore, the answer is yes.