And while many examples of true irony can be funny, that is not the driving factor of being ironic.
Mientras que muchos ejemplos de  auténtica ironía pueden ser graciosos, ése no es el factor impulsor de ser irónico.