**Qué entrena:** cadena de implicaciones hasta contradicción.
Quieres colorear los números $\{1,2,3,4,5\}$ con dos colores (rojo y azul).
La regla prohibida es:
- no puede haber tres números del mismo color $x,y,z$ que cumplan $x+y=z$ (permitiendo $x=y$).
Pregunta: ¿existe algún coloreo que cumpla la regla?