Considere verdadeiras as seguintes afirmações:

Se hoje Marcos não foi ao trabalho, então ele não acordou cedo.

Se ontem Marcos dormiu cedo, então hoje ele acordou cedo.

Se o pai de Marcos está em casa à noite, então Marcos dorme cedo.

Ontem o pai de Marcos estava em casa à noite.

A partir dessas afirmações é possível concluir, corretamente, que