Considere que a sentença “Se João é divertido, então ele não é feio” é verdadeira.

Logo: