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