the fact that the insurrectionalness occurs and the ichorousness occurs if the lobbing entoproct does not occur does not hold.
sent1: the Malian occurs and the facialness happens. sent2: both the cerebrovascularness and the continuing happens. sent3: the ichorousness occurs if the lobbing entoproct does not occur. sent4: the impureness happens. sent5: not the Jamaicanness but the convecting happens. sent6: the non-wettingness leads to that the digitizing gyrocompass occurs and the lobbing pfannkuchen happens. sent7: both the non-air-to-airness and the insurrectionalness occurs. sent8: the perforation happens and the sparing happens if the cross occurs. sent9: the inexplicableness occurs.
void -> assump1: Let's assume that the fact that the lobbing entoproct does not occur is not wrong.; sent3 & assump1 -> int1: the ichorousness happens.; sent7 -> int2: the fact that the insurrectionalness occurs hold.; int1 & int2 -> int3: both the insurrectionalness and the ichorousness happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the insurrectionalness occurs and the ichorousness occurs if the lobbing entoproct does not occur does not hold. ; $context$ = sent1: the Malian occurs and the facialness happens. sent2: both the cerebrovascularness and the continuing happens. sent3: the ichorousness occurs if the lobbing entoproct does not occur. sent4: the impureness happens. sent5: not the Jamaicanness but the convecting happens. sent6: the non-wettingness leads to that the digitizing gyrocompass occurs and the lobbing pfannkuchen happens. sent7: both the non-air-to-airness and the insurrectionalness occurs. sent8: the perforation happens and the sparing happens if the cross occurs. sent9: the inexplicableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the lobbing entoproct does not occur is not wrong.; sent3 & assump1 -> int1: the ichorousness happens.; sent7 -> int2: the fact that the insurrectionalness occurs hold.; int1 & int2 -> int3: both the insurrectionalness and the ichorousness happens.; [assump1] & int3 -> hypothesis; __DISPROVED__