/ /  
Rot & Grün gehen nicht zusammen an denselben Ort, heißt nicht sie sind tatsächlich nie beisammen sondern man kann es auch nicht einmals sagen, daß sie beisammen sind, also auch nicht, daß sie nie beisammen sind.
Das würde aber heißen daß ich zwei ˇgewisse Sätze zwar anschreiben darf, aber nicht ihr logisches Produkt.