Sabe-se que, todo homem feliz mora no Brasil. Também se sabe que todos quem moram em Brasília, capital do Brasil, moram no Brasil. Trevor é homem e mora em Brasília, é correto afirmar então que: