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.