As to [2], back when the austrian alps were underwater, they were home to the today little-known (apart from the occasional frightful skeleton) Krampus Whale.
https://en.wikipedia.org/wiki/Piemont-Liguria_Ocean
[4] Makes a fair taxonomic proposal, however. Could you provide a machine-readable (to make sure it can't be beat) supporting argument, suitable for import into a formal proof management system?
Parent's final request is a clear reference to Coq [3]. I yield, mumbling something about lions and claws.
[1] https://en.m.wiktionary.org/wiki/grampus
Why is Xmas like a lion on the beach?[2]
The Gnat and the Lion and the Hares and the Lion both involve claws. I prefer paws, a genre which has produced Androcles, the Lion and the Mouse, the Elephants and the Mice, and even apparently (I can't find it, but my hanzi search-fu is weak) the Tiger and the Mouse.
On the hares and lion, a Swahili argument against Sith morality: "Ndovu wawili wakipigana, ziumiazo na nyasi."[3]
[1] https://en.wikipedia.org/wiki/Mornington_Crescent_(game)
[2] They both have sandy claws.
[3] Some wag has added: even if the elephants are making love instead of fighting, the grass still gets trampled.
This taste-based taxonomy is reminiscent of Ishmael's taxonomy of whales in Melville's Moby Dick [2].
It is known, and can indeed be readily proved by inspection, that everything tastes like chicken [3]. I thus propose a taste-based taxonomy of edible organisms, aiming at restoring the former prominent role of Gallus gallus [4].
[1] https://en.m.wiktionary.org/wiki/long_pig
[2] https://en.m.wikipedia.org/wiki/Cetology_of_Moby-Dick
[3] https://en.m.wikipedia.org/wiki/Tastes_like_chicken
[4] https://en.m.wikipedia.org/wiki/Gallic_rooster