A man in a red shirt is standing next to a woman in a blue dress. They are both holding hands and smiling at each other. The statement 'All cats are mammals' is true. If a cat is a mammal, then it is a cat. If a cat is not a mammal, then it is not a cat. If a cat is a cat, then it is a cat. If a cat is not a cat, then it is not a cat. Therefore, it logically follows that 'All cats are cats.'
yes
yes