are free from greediness.
- All greedy rabbits are young.
- No old rabbits are greedy; All black rabbits are greedy.
- 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
- All well-fed birds sing loud; No birds, that sing loud, are unhappy.
- All birds, that do not sing loud, are unhappy; No well-fed birds fail to sing loud.