the physicalness or the palaver or both happens.
sent1: that the dimming intestine does not occur hold if either the manageableness occurs or the abrogation happens or both. sent2: that the dimming intestine does not occur is caused by the manageableness. sent3: the occulting hag and the processional happens. sent4: the bust-up happens. sent5: if the generousness happens then the dimming intestine does not occur or the abrogation does not occur or both. sent6: the geologicalness happens. sent7: if the fact that the dimming intestine does not occur is not wrong that the non-generousness and the processionalness happens is incorrect. sent8: the unfavorableness or the tricing pediment or both happens. sent9: if the unfavorableness happens the historiography happens. sent10: the extenuation happens. sent11: the occulting hag happens and/or the molecularness does not occur if that the historiography happens is not false. sent12: not the generousness but the molecularness happens. sent13: either the escort occurs or the eudemonicness happens or both. sent14: the occulting malignancy does not occur. sent15: the physicalness does not occur if the palavering does not occur. sent16: the occulting stoop does not occur if the manageableness occurs. sent17: the unintrusiveness occurs.
void -> assump1: Let's assume that the abrogation occurs.; assump1 -> int1: either the manageableness occurs or the abrogation happens or both.; int1 & sent1 -> int2: the dimming intestine does not occur.; int2 & sent7 -> int3: that the ungenerousness and the processional occurs is not correct.; sent12 -> int4: the generousness does not occur.; sent3 -> int5: the processionalness happens.; int4 & int5 -> int6: both the ungenerousness and the processional occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the abrogation does not occur.;
the fact that the physicalness occurs and/or the palaver occurs is wrong.
$hypothesis$ = the physicalness or the palaver or both happens. ; $context$ = sent1: that the dimming intestine does not occur hold if either the manageableness occurs or the abrogation happens or both. sent2: that the dimming intestine does not occur is caused by the manageableness. sent3: the occulting hag and the processional happens. sent4: the bust-up happens. sent5: if the generousness happens then the dimming intestine does not occur or the abrogation does not occur or both. sent6: the geologicalness happens. sent7: if the fact that the dimming intestine does not occur is not wrong that the non-generousness and the processionalness happens is incorrect. sent8: the unfavorableness or the tricing pediment or both happens. sent9: if the unfavorableness happens the historiography happens. sent10: the extenuation happens. sent11: the occulting hag happens and/or the molecularness does not occur if that the historiography happens is not false. sent12: not the generousness but the molecularness happens. sent13: either the escort occurs or the eudemonicness happens or both. sent14: the occulting malignancy does not occur. sent15: the physicalness does not occur if the palavering does not occur. sent16: the occulting stoop does not occur if the manageableness occurs. sent17: the unintrusiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the abrogation occurs.; assump1 -> int1: either the manageableness occurs or the abrogation happens or both.; int1 & sent1 -> int2: the dimming intestine does not occur.; int2 & sent7 -> int3: that the ungenerousness and the processional occurs is not correct.; sent12 -> int4: the generousness does not occur.; sent3 -> int5: the processionalness happens.; int4 & int5 -> int6: both the ungenerousness and the processional occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the abrogation does not occur.; __UNKNOWN__