Consider the following premises. There is at least one x for which if x were a carpenter, then x is writing a letter. For all x, x is a carpenter if and only if x will write a letter. Can we infer the following from them? For all x, the fact that x writes a letter does not imply that x is a carpenter.
That contradicts the premises. Therefore the answer is no.