Rot & Grün gehen nicht zusammen an denselben Ort, heißt nicht sie sind tatsächlich nie beisammen sondern man kann es auch nicht einmal 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.