Alanis...wrote a song called ironic and the only ironic thing about it, is that the woman does not understand the meaning of the word.

Could she be using Socratic irony?

Is that irony? Or what?