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



