"_Some ruminants are not hollow-horned_ must be a negative proposition, having 'hollow-horned' for its subject, either in E. or O.; but these would be respectively the contrary and contradictory of _All hollow-horned animals are ruminants_; and, therefore, if this be true, they must both be false."