Taking "rabbits" as Universe; m="greedy"; x="old"; and y="black"; represent
9. No old rabbits are greedy.
10. Some not-greedy rabbits are black.
11. All white rabbits are free from greediness.
12. All greedy rabbits are young.
13. No old rabbits are greedy; All black rabbits are greedy.
14. All rabbits, that are not greedy, are black; No old rabbits are free from greediness.
__________
Taking "birds" as Universe; m="that sing loud"; x="well-fed"; and y="happy"; represent
15. All well-fed birds sing loud; No birds, that sing loud, are unhappy.