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