. . "If A is a horse and B is a horse, but they are not identical, why are they both horses when C (a goat, also not identical) is not a horse?" . . .