A < B
B |< C
A, B, C, E, F < D
F < E
A <> F
B <> E
B <> F