that either the Chicago occurs or the consuetude happens or both does not hold.
sent1: the sufficing results in that the consuetude happens. sent2: the juncture does not occur and the hungriness does not occur if the burst occurs. sent3: the bursting happens. sent4: the beholding lecture does not occur and the difference does not occur if the sufficing does not occur. sent5: that the heteroeciousness happens is not incorrect. sent6: that the beholding lecture does not occur and the difference does not occur yields that the juncture occurs.
void -> assump1: Let's assume that the sufficing does not occur.; sent4 & assump1 -> int1: the beholding lecture does not occur and the difference does not occur.; int1 & sent6 -> int2: the juncture occurs.; sent2 & sent3 -> int3: the juncture does not occur and the hungriness does not occur.; int3 -> int4: the juncture does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sufficing happens.; int6 & sent1 -> int7: the consuetude occurs.; int7 -> hypothesis;
$hypothesis$ = that either the Chicago occurs or the consuetude happens or both does not hold. ; $context$ = sent1: the sufficing results in that the consuetude happens. sent2: the juncture does not occur and the hungriness does not occur if the burst occurs. sent3: the bursting happens. sent4: the beholding lecture does not occur and the difference does not occur if the sufficing does not occur. sent5: that the heteroeciousness happens is not incorrect. sent6: that the beholding lecture does not occur and the difference does not occur yields that the juncture occurs. ; $proof$ = 
void -> assump1: Let's assume that the sufficing does not occur.; sent4 & assump1 -> int1: the beholding lecture does not occur and the difference does not occur.; int1 & sent6 -> int2: the juncture occurs.; sent2 & sent3 -> int3: the juncture does not occur and the hungriness does not occur.; int3 -> int4: the juncture does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sufficing happens.; int6 & sent1 -> int7: the consuetude occurs.; int7 -> hypothesis; __DISPROVED__