Sabe-se que em uma cidade, todos os Filósofos são Professores, mas não existem Professores que sejam Cantores. Sabe-se, também, que pelo menos um Músico é Filósofo. Pode-se concluir que nessa cidade