tasmād vyaktaḥ sphuṭo 'pohāntare 'ścādāvapohāntarasya gavāder apoho bhavan sāmānyabhūtasyaiveti niścīyate /
Therefore it is definitively established that when there is exclusion of one exclusion (such as "cow") in another exclusion (such as "horse"), it can only be an exclusion of something that has become universal.