the fact that the offset occurs and the coconspiring does not occur if the instrument does not occur is not true.
sent1: if the incredibleness does not occur the semanticsness occurs and the corkscrewing does not occur. sent2: that the instrumenting happens triggers that the establishment does not occur and the invoking remarriage does not occur. sent3: if the saurianness does not occur both the offsetting and the coconspiring happens. sent4: that the offsetting happens causes that the invoking farmstead does not occur and the instrument does not occur. sent5: if the establishment does not occur the offsetting happens but the coconspiring does not occur. sent6: the establishment does not occur and the invoking remarriage does not occur if the instrumenting does not occur.
void -> assump1: Let's assume that the instrumenting does not occur.; sent6 & assump1 -> int1: the establishment does not occur and the invoking remarriage does not occur.; int1 -> int2: that the establishment does not occur hold.; sent5 & int2 -> int3: the offset but not the coconspiring happens.; [assump1] & int3 -> hypothesis;
the invoking farmstead does not occur.
$hypothesis$ = the fact that the offset occurs and the coconspiring does not occur if the instrument does not occur is not true. ; $context$ = sent1: if the incredibleness does not occur the semanticsness occurs and the corkscrewing does not occur. sent2: that the instrumenting happens triggers that the establishment does not occur and the invoking remarriage does not occur. sent3: if the saurianness does not occur both the offsetting and the coconspiring happens. sent4: that the offsetting happens causes that the invoking farmstead does not occur and the instrument does not occur. sent5: if the establishment does not occur the offsetting happens but the coconspiring does not occur. sent6: the establishment does not occur and the invoking remarriage does not occur if the instrumenting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the instrumenting does not occur.; sent6 & assump1 -> int1: the establishment does not occur and the invoking remarriage does not occur.; int1 -> int2: that the establishment does not occur hold.; sent5 & int2 -> int3: the offset but not the coconspiring happens.; [assump1] & int3 -> hypothesis; __DISPROVED__