And while many examples of true irony can be funny, that is not the driving factor of being ironic.
Embora muitos exemplos da verdadeira ironia possam ser engraçados, não é essa a razão de ser da ironia.