Considere a afirmação:
Paulo comerá cenouras se Pedro não comer batatas.
Pedro comerá batatas se Paulo comer cenouras.
Paulo comerá alface se e somente se Pedro comer tomates.
Paulo comerá alface se Pedro comer batatas.
Pedro e Paulo só comem cenouras, batatas, alface e tomate.
