Considere-se um grupo de pessoas, sabendo-se que são verdadeiras todas as informações a seguir.
• D é um arquiteto.
• Nenhum arquiteto é baixo.
• M é um engenheiro.
• Todos os engenheiros são baixos.

Com base nessas afirmações, pode-se concluir que é verdadeira a sentença