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