Mateus, Marcos, Pedro e Paulo são funcionários do TCU e encontram-se uma vez por mês para exercitarem seus dotes musicais. Nesse quarteto, há um guitarrista, um flautista, um baterista e um baixista, e cada um toca somente um instrumento. Nesse grupo de amigos, tem-se um auditor (AUD), um analista de controle externo (ACE), um procurador do Ministério Público (PMP) e um técnico de controle externo (TCE), todos com idades diferentes, de 25, 27, 30 e 38 anos. Além disso, sabe-se que:
< Mateus não tem 30 anos de idade, toca guitarra e não é procurador do Ministério Público;
< o baterista é o analista de controle externo, tem 27 anos de idade e não é Marcos;
< Paulo é técnico de controle externo, tem 25 anos de idade e não é flautista;
< ...