that the navigating does not occur and/or the non-incuriousness is triggered by that the Libyanness occurs.
sent1: the presumption does not occur and the bolstering does not occur if the Libyan does not occur. sent2: the ELINT does not occur and the zoicness does not occur if that the presumption does not occur is not wrong. sent3: that the incuriousness does not occur is prevented by the scoffing Hevesy. sent4: if the presumption happens and the Libyanness occurs then the navigating does not occur. sent5: the bolstering does not occur and the scoffing Hevesy does not occur. sent6: that the enskying planking does not occur and the rear does not occur prevents that the bolstering does not occur. sent7: the fact that the presumption happens is true if that the fact that the enskying planking does not occur and the rearing does not occur is not true is correct.
void -> assump1: Let's assume that the enskying planking does not occur and the rearing does not occur.; sent6 & assump1 -> int1: the bolstering occurs.; sent5 -> int2: the bolstering does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the enskying planking does not occur and the rear does not occur is wrong.; int4 & sent7 -> int5: the presumption occurs.; void -> assump2: Let's assume that the fact that the Libyanness occurs hold.; int5 & assump2 -> int6: the presumption occurs and the Libyan happens.; int6 & sent4 -> int7: the navigating does not occur.; int7 -> int8: that the navigating does not occur or the incuriousness does not occur or both is not false.; [assump2] & int8 -> hypothesis;
the ELINT does not occur and the zoicness does not occur.
$hypothesis$ = that the navigating does not occur and/or the non-incuriousness is triggered by that the Libyanness occurs. ; $context$ = sent1: the presumption does not occur and the bolstering does not occur if the Libyan does not occur. sent2: the ELINT does not occur and the zoicness does not occur if that the presumption does not occur is not wrong. sent3: that the incuriousness does not occur is prevented by the scoffing Hevesy. sent4: if the presumption happens and the Libyanness occurs then the navigating does not occur. sent5: the bolstering does not occur and the scoffing Hevesy does not occur. sent6: that the enskying planking does not occur and the rear does not occur prevents that the bolstering does not occur. sent7: the fact that the presumption happens is true if that the fact that the enskying planking does not occur and the rearing does not occur is not true is correct. ; $proof$ = 
void -> assump1: Let's assume that the enskying planking does not occur and the rearing does not occur.; sent6 & assump1 -> int1: the bolstering occurs.; sent5 -> int2: the bolstering does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the enskying planking does not occur and the rear does not occur is wrong.; int4 & sent7 -> int5: the presumption occurs.; void -> assump2: Let's assume that the fact that the Libyanness occurs hold.; int5 & assump2 -> int6: the presumption occurs and the Libyan happens.; int6 & sent4 -> int7: the navigating does not occur.; int7 -> int8: that the navigating does not occur or the incuriousness does not occur or both is not false.; [assump2] & int8 -> hypothesis; __PROVED__