Q1. In the local zoo, there are four adult carnivorous snakes (all the snakes are the same species), three adult vegetarian turtles, one juvenile vegetarian turtle (all the turtles are the same species), and one juvenile vegetarian lizard. These are all reptiles, and there are no other reptiles. We say any two vegetarian animals eat the same diet, and any two carnivorous animals eat the same diet. Which of the following is true? Give an explanation:
(a) For every reptile x, there is a reptile y such that x and y are different species and eat different diets.
(b) There is a reptile x such that for all reptiles y, x and y are different in at least one way: different species, different diet, or different growth status (one adult, one juvenile).