(7 sheep is a hobby, not a flock. Shepherding does have a reputation as being for the lazy, but that's by agricultural standards. Even Giotto presumably did a fair amount of work in between developing his art.)
[1] The animals in Animal Farm are all well characterised. Sheep do do what the other sheep do. Dogs do love making sheep behave according to their master's dictates. Horses do have entirely too good a heart. Donkeys do get to live out their lives with no one paying attention to their carcass value. And pigs do resemble humans: compare long pig.
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
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.