Conclusion right.
[pg154]29. No thieves are honest;
Some dishonest people are found out.
Some thieves are found out.
Univ. “people”; m = honest; x = thieves; y = found out.
xm0 † m′y1
No Conclusion. [Fallacy of Unlike Eliminands with an Entity-Premiss.]
30. No muffins are wholesome;
All puffy food is unwholesome.
All muffins are puffy.
Univ. is “food”; m = wholesome; x = muffins; y = puffy.
xm0 † y1m0
No Conclusion. [Fallacy of Like Eliminands not asserted to exist.]
31. No birds, except peacocks, are proud of their tails;
Some birds, that are proud of their tails, cannot sing.
Some peacocks cannot sing.