that the fact that the liquidizing does not occur is not wrong if the fencing does not occur is false.
sent1: the rectification does not occur if the centripetalness occurs. sent2: the acquainting millimeter does not occur if the fact that the scouring happens hold. sent3: if the liquidizing happens the fence happens and the stapling viewer does not occur. sent4: the filialness happens and the pioneer does not occur. sent5: that the reproduction happens leads to that the bunking guillotine but not the amnesic happens. sent6: if the downfall does not occur then the lower-classness does not occur.
void -> assump2: Let's assume that the liquidizing happens.; sent3 & assump2 -> int1: the fencing but not the stapling viewer happens.; int1 -> int2: the fencing occurs.; void -> assump1: Let's assume that the fencing does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the liquidizing does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the fact that the liquidizing does not occur is not wrong if the fencing does not occur is false. ; $context$ = sent1: the rectification does not occur if the centripetalness occurs. sent2: the acquainting millimeter does not occur if the fact that the scouring happens hold. sent3: if the liquidizing happens the fence happens and the stapling viewer does not occur. sent4: the filialness happens and the pioneer does not occur. sent5: that the reproduction happens leads to that the bunking guillotine but not the amnesic happens. sent6: if the downfall does not occur then the lower-classness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the liquidizing happens.; sent3 & assump2 -> int1: the fencing but not the stapling viewer happens.; int1 -> int2: the fencing occurs.; void -> assump1: Let's assume that the fencing does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the liquidizing does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__