✓ ✓  
„A ist nicht grün” schließt „A ist rot” ein als
seine
eine
Möglichkeit ein.