Saulo, Sávio e Sandro são três colegas de infância. Sabe-se que um deles é amigo de todos, o outro é inteligente e o terceiro torce pelo Íbis Futebol Clube. Sabe-se ainda que: 1.Sávio ou Sandro é inteligente, mas não ambos; 2.Saulo ou Sandro é amigo de todos, mas não ambos; 3.Saulo é inteligente ou Sávio torce pelo Íbis Futebol Clube, mas não ocorrem as duas opções simultaneamente; 4.Sandro ou Sávio torce pelo Íbis Futebol Clube, mas não ambos. Podemos afirmar que: