Use Venn diagrams to check the validity of the argument

All cats are animals.
This is not an animal.
Therefore, this is not a cat.