✓ ✓  
Kann man nun nicht sagen: A ist rot gehört zum Feld der durch A ist nicht grün
zugelassenen
ausgeschlossenen
Möglichkeiten. „A ist grün” ist ausgeschlossen & damit alles übrige freigegeben. In diiesem ganzen übrigen Feld befindet sich auch „A ist rot”.