I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D|E)+I(A;E)
I(A;B)<=I(A;B|C)+I(A;C|D)+I(A;D|E)+I(B;E)
I(A;B)<=I(A;C)+I(A;B|D)+I(B;E|C)+I(A;D|CE)
I(A;B)<=I(A;C)+I(A;B|DE)+I(B;D|C)+I(A;E|CD)
I(A;B)<=I(A;C)+I(B;D|C)+I(A;E|D)+I(A;B|CE)+I(B;C|DE)
I(A;B)<=I(A;C)+I(B;D|E)+I(D;E|C)+I(A;B|CD)+I(A;C|DE)
I(A;B)<=I(A;C|D)+I(A;E|C)+I(B;D)+I(B;D|CE)+I(A;B|DE)
2I(A;B)<=I(A;B|C)+I(A;B|D)+I(A;B|E)+I(C;D)+I(CD;E)
2I(A;B)<=I(A;C)+I(A;B|D)+I(A;B|E)+I(D;E)+I(B;DE|C)
2I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D)+I(A;E)+I(B;D|E)+I(A;C|DE)
I(A;BC)<=I(A;C|BD)+I(A;CE)+I(A;B|DE)+I(B;D|CE)
I(A;BC)<=I(A;C)+I(A;B|D)+I(A;D|E)+I(B;E|C)+I(A;C|BE)+I(C;E|BD)
I(A;BC)<=I(A;B|D)+I(A;CE)+I(B;D|CE)+I(A;C|BE)+I(C;E|BD)
I(A;BC)<=I(A;D)+I(B;E|D)+I(A;B|CE)+I(A;C|BD)+I(A;C|DE)
I(A;BC)<=I(A;D)+I(B;E|D)+I(A;C|E)+I(A;B|CD)+I(A;C|BD)+I(B;D|CE)
I(A;BC)<=I(A;B|CD)+I(A;C|BD)+I(BC;D|E)+I(B;C|DE)+I(A;E)
I(AB;CD)<=I(AB;D)+I(A;D|BC)+I(B;D|AC)+I(A;C|BE)+I(B;C|AE)+I(A;B|DE)+I(C;E|D)
I(A;B)+I(A;C)<=I(B;C)+I(A;B|D)+I(A;C|D)+I(B;D|E)+I(C;D|E)+I(A;E)
I(A;B)+I(A;C)<=I(B;D)+2I(A;C|D)+I(A;B|E)+I(D;E)+I(B;E|CD)+I(C;D|BE)
I(A;B)+I(A;C)<=I(B;C)+I(B;D)+I(A;C|D)+I(A;B|E)+I(A;E|B)+I(C;D|E)+I(B;E|CD)
I(A;B)+I(A;C)<=I(B;D)+I(A;C|D)+I(A;D|E)+I(C;E)+I(A;B|CE)+I(B;C|DE)+I(B;E|CD)
2I(A;B)+I(A;C)<=I(A;B|C)+I(A;B|D)+I(C;D)+I(A;C|E)+I(A;D|E)+2I(B;E)+I(B;C|DE)+I(C;E|BD)
I(A;B)+I(A;BC)<=I(A;B|D)+2I(A;C|E)+I(B;E)+I(D;E)+I(A;B|CD)+2I(B;D|CE)+I(C;E|BD)
I(A;CD)+I(B;CD)<=I(B;D)+I(B;C|E)+I(C;E|D)+I(A;E)+I(A;C|BD)+I(AB;D|C)+I(A;D|BE)+I(A;B|DE)