Considere que Sara, Mara e Lara pratiquem ou alpinismo, ou
judô ou ciclismo, não necessariamente nessa ordem. Uma
delas é brasileira, outra é espanhola e a outra é portuguesa.
Sabe-se que Mara é a alpinista, Lara não é a ciclista, que a
ciclista é portuguesa e que a judoca não é brasileira. Nessa
situação, conclui-se que Lara é espanhola, Mara é brasileira
e Sara é portuguesa.