6. No x are not-y.
7. Some x are not-y, and some x exist.
__________
Taking x="judges"; y="just";
8. No judges are just.
9. Some judges are unjust.
10. All judges are just.
__________
Taking x="plums"; y="wholesome";
11. Some plums are wholesome.
6. No x are not-y.
7. Some x are not-y, and some x exist.
__________
Taking x="judges"; y="just";
8. No judges are just.
9. Some judges are unjust.
10. All judges are just.
__________
Taking x="plums"; y="wholesome";
11. Some plums are wholesome.