Ответ:

Ирония — это скрытая насмешка, когда слова употребляются в противоположном буквальному смысле.

Ирония — скрытая насмешка, выраженная словами, смысл которых отличается от буквального.