Considere as seguintes premissas:
- Se é domingo então Marcelo faz caminhada.
- Se chover então Marcelo não faz caminhada.
- Se não é domingo então Marcelo acorda cedo.
- Marcelo acordou tarde.
Com base nessas premissas, pode-se concluir que: