4.] That is, _No horned beasts are carnivorous_.
Lastly, the Particular Negative may be represented by any of the Figs.
1, 3, and 4; for it is true that _Some ruminants are not hollow-horned_, that _Some horned animals are not domestic_, and that _Some horned beasts are not carnivorous_.
Besides their use in illustrating the denotative force of propositions, these circles may be employed to verify the results of Obversion, Conversion, and the secondary modes of Immediate Inference.

Thus the Obverse of A.is clear enough on glancing at Figs.

1 and 2; for if we agree that whatever term's denotation is represented by a given circle, the denotation of the contradictory term shall be represented by the space outside that circle; then if it is true that _All hollow horned animals are ruminants_, it is at the same time true that _No hollow-horned animals are not-ruminants_; since none of the hollow-horned are found outside the palisade that encloses the ruminants.

The Obverse of I., E.or O.may be verified in a similar manner.
As to the Converse, a Definition is of course susceptible of Simple Conversion, and this is shown by Fig.

2: 'Men are rational animals' and 'Rational animals are men.' But any other A.proposition is presumably convertible only by limitation, and this is shown by Fig.