Consider the following premises. For all x, if x were a mechanic, then x is listening to a song. For all x, if x were a mechanic, then x is listening to a song. For all x, if x listens to a song, then x is a mechanic. Can we infer the following from them? The fact that Karen listens to a song does not imply that Karen is a mechanic.
That contradicts the premises. Therefore the answer is no.