Se é verdadeiro que “alguns filósofos são loucos” e que “nenhum geógrafo é louco”, então também é verdadeiro que: nenhum geógrafo é filósofo
algum filósofo é geógrafo
algum geógrafo é filósofo
algum filósofo não é geógrafo
nenhum filósofo é geógrafo