Testing that two colors cannot exist in the same rule