I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D)
* I(AE;B)<=I(AE;B|C)+I(AE;B|D)+I(C;D)
* I(A;B)<=I(A;B|CE)+I(A;B|D)+I(CE;D)
* I(AE;BE)<=I(AE;BE|CE)+I(AE;BE|DE)+I(CE;DE)
* I(AEF;B)<=I(AEF;B|C)+I(AEF;B|D)+I(C;D)
* I(AE;BF)<=I(AE;BF|C)+I(AE;BF|D)+I(C;D)
* I(AE;B)<=I(AE;B|CF)+I(AE;B|D)+I(CF;D)
* I(A;B)<=I(A;B|CEF)+I(A;B|D)+I(CEF;D)
* I(A;B)<=I(A;B|CE)+I(A;B|DF)+I(CE;DF)
* I(AEF;BF)<=I(AEF;BF|CF)+I(AEF;BF|DF)+I(CF;DF)
* I(AF;BF)<=I(AF;BF|CEF)+I(AF;BF|DF)+I(CEF;DF)
* I(AEF;BEF)<=I(AEF;BEF|CEF)+I(AEF;BEF|DEF)+I(CEF;DEF)