the divulgence does not occur or the camouflaging scrutiny happens or both if the low happens.
sent1: if the fact that both the non-lowness and the non-unopposableness happens does not hold then the maintaining coastland happens. sent2: if the unopposableness does not occur the detribalizing shortlist and the lowness happens. sent3: the unopposableness does not occur. sent4: either the divulgence or the camouflaging scrutiny or both occurs. sent5: the calcifying occurs if the regulation happens. sent6: if the divulgence happens the camouflaging scrutiny does not occur. sent7: the maintaining coastland occurs if that both the lowness and the non-unopposableness happens does not hold. sent8: if the fact that that the concordance does not occur and the detribalizing SCNT does not occur does not hold is not wrong the fact that the camouflaging mortise happens is not false. sent9: that the pyelography happens leads to either that the detribalizing Polk occurs or the maintaining thundershower or both. sent10: the self-destruction happens. sent11: that the camouflaging soil does not occur or the uncomfortableness or both is triggered by that the hydrometry happens. sent12: the divulgence happens or the camouflaging scrutiny happens or both if that the lowness happens is right. sent13: the telephotography does not occur or the detribalizing moss happens or both if the unidimensionalness occurs. sent14: the fact that the low does not occur but the unopposableness happens is incorrect. sent15: the prerequisite occurs. sent16: if the maintaining coastland happens then the divulgence happens and/or the camouflaging scrutiny occurs. sent17: the divulgence does not occur or the camouflaging scrutiny happens or both if the maintaining coastland occurs. sent18: if that the springtide but not the trudge happens is not true the captainship happens.
void -> assump1: Let's assume that the low occurs.; void -> assump2: Let's assume that the fact that both the non-lowness and the non-unopposableness happens hold.; assump2 -> int1: the lowness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the low does not occur and the unopposableness does not occur does not hold.; sent1 & int3 -> int4: the maintaining coastland occurs.; sent17 & int4 -> int5: either the divulgence does not occur or the camouflaging scrutiny occurs or both.; [assump1] & int5 -> hypothesis;
the detribalizing shortlist happens.
$hypothesis$ = the divulgence does not occur or the camouflaging scrutiny happens or both if the low happens. ; $context$ = sent1: if the fact that both the non-lowness and the non-unopposableness happens does not hold then the maintaining coastland happens. sent2: if the unopposableness does not occur the detribalizing shortlist and the lowness happens. sent3: the unopposableness does not occur. sent4: either the divulgence or the camouflaging scrutiny or both occurs. sent5: the calcifying occurs if the regulation happens. sent6: if the divulgence happens the camouflaging scrutiny does not occur. sent7: the maintaining coastland occurs if that both the lowness and the non-unopposableness happens does not hold. sent8: if the fact that that the concordance does not occur and the detribalizing SCNT does not occur does not hold is not wrong the fact that the camouflaging mortise happens is not false. sent9: that the pyelography happens leads to either that the detribalizing Polk occurs or the maintaining thundershower or both. sent10: the self-destruction happens. sent11: that the camouflaging soil does not occur or the uncomfortableness or both is triggered by that the hydrometry happens. sent12: the divulgence happens or the camouflaging scrutiny happens or both if that the lowness happens is right. sent13: the telephotography does not occur or the detribalizing moss happens or both if the unidimensionalness occurs. sent14: the fact that the low does not occur but the unopposableness happens is incorrect. sent15: the prerequisite occurs. sent16: if the maintaining coastland happens then the divulgence happens and/or the camouflaging scrutiny occurs. sent17: the divulgence does not occur or the camouflaging scrutiny happens or both if the maintaining coastland occurs. sent18: if that the springtide but not the trudge happens is not true the captainship happens. ; $proof$ = 
void -> assump1: Let's assume that the low occurs.; void -> assump2: Let's assume that the fact that both the non-lowness and the non-unopposableness happens hold.; assump2 -> int1: the lowness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the low does not occur and the unopposableness does not occur does not hold.; sent1 & int3 -> int4: the maintaining coastland occurs.; sent17 & int4 -> int5: either the divulgence does not occur or the camouflaging scrutiny occurs or both.; [assump1] & int5 -> hypothesis; __PROVED__