A -> B
B -> A
B -> C
D -> C
A B -> C
A C -> B
B C -> A

