In plain words
There, because redness itself cannot run, one may retain redness and indicate its bearer, such as a red horse, thereby removing the contradiction; so Ajahallakṣaṇā applies.
There, because redness itself cannot run, one may retain redness and indicate its bearer, such as a red horse, thereby removing the contradiction; so Ajahallakṣaṇā applies.