Se Lauro sair cedo do trabalho, então jantará com Lúcia. Se ...
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
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