Statements 1 ("All animals are carnivorous") and 3 ("Animals are not carnivorous," which is logically equivalent to "No animals are carnivorous") are classified as contrary propositions within the traditional Square of Opposition.
This characteristic precisely matches the condition that the two statements "cannot both be true, but both can be false."
The other pairs do not satisfy the specified logical condition: