Na premissa maior, primeira premissa, a região comum entre “mamífero” e “quadrúpede” é vazia.

Na premissa menor, segunda premissa, a região das coisas que são baleias, mas não são mamíferos é vazia.

A região que representa a conclusão, que é a região comum entre “baleia” e “mamífero”, está parcialmente vazia.

Na representação do silogismo acima, certifica-se que ele é inválido, visto que a conclusão não procede das premissas.

Na conclusão, a região comum entre “baleia” e “mamífero” é vazia.