Por el principio de inducción, hemos establecido que todos los caballos son del mismo color.