All humans are animals All dogs are animals Not all animals are dogs Not animals are humans But all the animals in modern Pokemon are Pokemon So the question is Does animal == Pokemon If so human are Pokemon But if animal != Pokemon Then humans != Pokemon and human == animal