Todos os dias, 5 colegas de trabalho (Beatriz, João, Ana, Maurício e Josefina) almoçam em um restaurante que oferece apenas um tipo de salada diariamente (temperada ou não temperada). Sendo assim, as afirmações seguintes devem ser consideradas como verdadeiras.

• Beatriz come salada no almoço se, e somente se, ela estiver temperada.
• João come salada no almoço todos os dias.
• Se a salada estiver temperada, Ana comerá salada no almoço.
• Se Beatriz come salada, então Maurício come salada.
• Se a salada não estiver temperada, Josefina comerá salada no almoço.