Se Lauro sair cedo do trabalho, então jantará com Lúcia. Se Lúcia janta com Lauro, então não come na manhã seguinte. Sabendo-se que, essa manhã, Lúcia comeu, conclui-se que
Lúcia jantou na noite anterior.
Lúcia jantará esta noite.
Lauro jantou na noite anterior.
Lauro não saiu cedo do trabalho.
Lauro saiu cedo do trabalho.
