And while many examples of true irony can be funny, that is not the driving factor of being ironic.
E ainda que muitos exemplos de ironia verdadeira possam ser engraçados, isto não é o fator condutor de ser irônico.