Gilt A²+B²=C² bei Dip nicht?

Der Nobelpreis für angewandte Mathematik ist noch nicht vergeben. Stockholm sucht nach dem Besten unter den Wissenschaftlern. Das heiss diskutierte Thema ist derzeit die Auswirkungen der Integration der Mengenlehre in die griechische Romantik. Hier ist eure Chance.
Es seien: (1) I+OE < > OSM, (2) D+R < > OSM, (3) E < > R, (4) NICHT (D < > E),
(5) F < > D, (6) I < > OSM.
Sei dann E+F < > D+I+OE+R < > OSM? Und sei dann auch E+F+OS?
Oder was sei? Hilfestellung sei das Schaubild rechts.DM-Finale F1906. Sei es so?
- C. Reichardt, 16.10.2011