In a certain classification system, all Mammals are Vertebrates, all Cats are Vertebrates, all Domestic Animals are Mammals, and all Cats are Domestic Animals. Which of the following statements is implied by these facts?
All Domestic Animals are Vertebrates and are Cats.
All Vertebrates are Cats and are Domestic Animals.
All Mammals are Cats and are Domestic Animals.
All Cats are Mammals and are Vertebrates.
All Mammals are Domestic Animals and some Mammals may not be Cats.