Leonardo é cadista do DER – CE e nasceu no dia 1º de maio. Todos os anos ele faz um churrasco no seu aniversário e convida seus amigos, mas, no mesmo dia, a prefeitura da cidade realiza uma festa em homenagem ao Dia do Trabalho.

Todos os amigos de Leonardo que foram ao seu churrasco estiveram, antes, na festa do Dia do Trabalho.

Como nem todos os amigos de Leonardo estiveram na festa do dia do trabalho, conclui-se que, dos amigos de Leonardo: