(It would also be possible to add clauses to the formula to ensure that the three color classes are disjoint, but this makes no difference to the result.)
(Можно также добавить предложение в формулу, обеспечивающее непересечение трёх классов цвета, но на результат это не повлияет.)