If "All cats are animals" is true, which statement must also be true?
If something is not an animal, it is not a cat.
If something is not a cat, it is not an animal.
All animals are cats.
Some cats are not animals.