there is something such that if it segregates Conoclinium it does not infuse.
sent1: the caressing does segregate Conoclinium if it infuses. sent2: if something does infuse then it does not segregate Conoclinium. sent3: the caressing infuses if it segregates Conoclinium. sent4: there is something such that if it segregates Conoclinium then it infuses. sent5: if something infuses then it segregates Conoclinium.
sent2 -> int1: the caressing does not segregate Conoclinium if it infuses.; void -> assump2: Let's assume that the caressing infuses.; int1 & assump2 -> int2: that the caressing does not segregate Conoclinium is not wrong.; void -> assump1: Let's assume that the caressing does segregate Conoclinium.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the caressing does not infuse is right.; [assump1] & int4 -> int5: if the caressing segregates Conoclinium it does not infuse.; int5 -> hypothesis;
$hypothesis$ = there is something such that if it segregates Conoclinium it does not infuse. ; $context$ = sent1: the caressing does segregate Conoclinium if it infuses. sent2: if something does infuse then it does not segregate Conoclinium. sent3: the caressing infuses if it segregates Conoclinium. sent4: there is something such that if it segregates Conoclinium then it infuses. sent5: if something infuses then it segregates Conoclinium. ; $proof$ = 
sent2 -> int1: the caressing does not segregate Conoclinium if it infuses.; void -> assump2: Let's assume that the caressing infuses.; int1 & assump2 -> int2: that the caressing does not segregate Conoclinium is not wrong.; void -> assump1: Let's assume that the caressing does segregate Conoclinium.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the caressing does not infuse is right.; [assump1] & int4 -> int5: if the caressing segregates Conoclinium it does not infuse.; int5 -> hypothesis; __PROVED__