That all cats are animals does not prove all animals are cats.