the looming does not occur.
sent1: that the monopolization happens and the liquefying llano happens is not true. sent2: the fact that not the monopolization but the liquefying llano occurs does not hold if the Napoleon happens. sent3: the Napoleon happens. sent4: the monopolization does not occur if the loom occurs and the establishment happens. sent5: the monopolization happens if that the monopolization does not occur and the liquefying llano occurs is not correct. sent6: if the snowboarding does not occur the ravening dualist does not occur and the intolerableness does not occur. sent7: the establishment happens. sent8: the Napoleon does not occur and the liquefying llano does not occur if the ravening dualist does not occur. sent9: the angelicness happens.
void -> assump1: Let's assume that the loom occurs.; assump1 & sent7 -> int1: the looming occurs and the establishment happens.; int1 & sent4 -> int2: the monopolization does not occur.; sent2 & sent3 -> int3: that not the monopolization but the liquefying llano happens is false.; sent5 & int3 -> int4: that the monopolization happens is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the looming happens.
$hypothesis$ = the looming does not occur. ; $context$ = sent1: that the monopolization happens and the liquefying llano happens is not true. sent2: the fact that not the monopolization but the liquefying llano occurs does not hold if the Napoleon happens. sent3: the Napoleon happens. sent4: the monopolization does not occur if the loom occurs and the establishment happens. sent5: the monopolization happens if that the monopolization does not occur and the liquefying llano occurs is not correct. sent6: if the snowboarding does not occur the ravening dualist does not occur and the intolerableness does not occur. sent7: the establishment happens. sent8: the Napoleon does not occur and the liquefying llano does not occur if the ravening dualist does not occur. sent9: the angelicness happens. ; $proof$ = 
void -> assump1: Let's assume that the loom occurs.; assump1 & sent7 -> int1: the looming occurs and the establishment happens.; int1 & sent4 -> int2: the monopolization does not occur.; sent2 & sent3 -> int3: that not the monopolization but the liquefying llano happens is false.; sent5 & int3 -> int4: that the monopolization happens is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__