that the outburst occurs and/or the arousal does not occur is false.
sent1: if the outburst occurs the medullariness does not occur. sent2: the fact that either the uploading kinase occurs or the disbandment does not occur or both does not hold. sent3: if the outburst occurs the medullariness occurs. sent4: the carouse does not occur if the fact that the uncoiling honorarium does not occur is not incorrect. sent5: the arsenicalness happens. sent6: either the skipping occurs or the uncoiling scratchpad does not occur or both. sent7: that the extensiveness and the doctor occurs is triggered by the non-coccygealness. sent8: the medullariness does not occur if the arousal does not occur. sent9: the uploading NGF occurs. sent10: the medullariness happens. sent11: the fact that the postbiblicalness occurs and/or the biliariness does not occur is incorrect. sent12: the extensiveness brings about that the medullariness does not occur and the arousal does not occur. sent13: if the fact that the hoisting occurs hold then that the observing does not occur is not false. sent14: the instructionalness does not occur if the uploading Alcelaphus happens. sent15: the resort does not occur. sent16: if the haranguing primer occurs then the fagging does not occur. sent17: the downstageness does not occur. sent18: either the repetitiveness happens or the haranguing stock does not occur or both. sent19: the moralization does not occur. sent20: either the aping occurs or the haranguing strings does not occur or both.
void -> assump1: Let's assume that the outburst happens or the arousal does not occur or both.; assump1 & sent1 & sent8 -> int1: the medullariness does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
either the outburst happens or the arousal does not occur or both.
$hypothesis$ = that the outburst occurs and/or the arousal does not occur is false. ; $context$ = sent1: if the outburst occurs the medullariness does not occur. sent2: the fact that either the uploading kinase occurs or the disbandment does not occur or both does not hold. sent3: if the outburst occurs the medullariness occurs. sent4: the carouse does not occur if the fact that the uncoiling honorarium does not occur is not incorrect. sent5: the arsenicalness happens. sent6: either the skipping occurs or the uncoiling scratchpad does not occur or both. sent7: that the extensiveness and the doctor occurs is triggered by the non-coccygealness. sent8: the medullariness does not occur if the arousal does not occur. sent9: the uploading NGF occurs. sent10: the medullariness happens. sent11: the fact that the postbiblicalness occurs and/or the biliariness does not occur is incorrect. sent12: the extensiveness brings about that the medullariness does not occur and the arousal does not occur. sent13: if the fact that the hoisting occurs hold then that the observing does not occur is not false. sent14: the instructionalness does not occur if the uploading Alcelaphus happens. sent15: the resort does not occur. sent16: if the haranguing primer occurs then the fagging does not occur. sent17: the downstageness does not occur. sent18: either the repetitiveness happens or the haranguing stock does not occur or both. sent19: the moralization does not occur. sent20: either the aping occurs or the haranguing strings does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the outburst happens or the arousal does not occur or both.; assump1 & sent1 & sent8 -> int1: the medullariness does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__