Toda terça-feira, João come pizza de muçarela. Se João come pizza de muçarela, então, depois, ele come um chocolate. Após comer pizza, João ou come um chocolate ou toma um sorvete. Ontem João comeu pizza e, logo após, tomou um sorvete. É possível concluir, logicamente, que ontem