Consider the following premises. For all x_8, if x_8 were a lawyer, then x_8 is writing a letter. For all x_8, x_8 will not write a letter. For all x_8, x_8 is a lawyer. Can we infer the following from them? For all x_8, if x_8 were a lawyer, then x_8 is writing a letter.
That is one of the premises. Therefore, the answer is yes.