Considere as seguintes afirmações
Alguns Greens são Bartons Alguns Bartons são Lasters e Arns Nem todo Laster é Arn, mas todo Arn é Laster Nenhum Green é Laster
Então, é necessariamente incorreto: