but that’s just straight up not the same logic at all

You’re doing all A are in C, all B are in C =⟩ A is in B, which makes no sense and isn’t what they said.

They said all A are in B, all B are in C =⟩ A are in C, which is true by the transitive property.

All humans are animals

All animals are Pokemon

Therefore all humans are Pokemon

That’s a poorly constructed argument though. How about,

All animals are Pokémon.

Humans are animals.

Humans are Pokémon.

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

Certainly not fair to dogs.