Additionally, it is known that cows are mammals. Therefore, by transitivity, we can show that coconuts are mammals. QED.