If all cats are animals and some animals are pets, which of the following statements is logically true?