Considere o seguinte arranjo entre amigos:
Se Lucia almoça no restaurante, José almoça
em casa. Se José almoça em casa, Carla
almoça no restaurante. Se Carla almoça no
restaurante, João almoça em casa. Dessa
maneira, se João almoçou no restaurante,
podemos afirmar que