 This argument is a modus tollens: if the members of a nominally defined species had the same type of real essence, then they should all exhibit the same qualities (including those not included in the nominal essence), but they do not exhibit all of the same qualities, therefore they do not all have the same type of real essence.