/  
Wenn aus F1(a) [ = a hat die Farbe F1] folgt ~F2(a) so mußte in der Grammatik des ersten Satzes auch schon die Möglichkeit des zweiten vorausgesehen sein (wie könnten wir
auch
denn
sonst F1 & F2 Farben nennen).