Consider the following premises. For all x_7, if x_7 were an artist, then x_7 is writing a letter. If Susan writes a letter, then Susan is an artist. Can we infer the following from them? If Susan were an artist, then Susan is writing a letter.
Yes.