A|B|C|D&E
F&.E
E&.B
G
.A&B
B|.C
.C>E
.E&.A
D
(E&B|A)>(E|C)
