La misma puede ser expresada de manera equivalente como «Si un objeto es de color rojo, entonces tiene color».