if the fact that the unimpressiveness happens hold the frightening thyrse does not occur.
sent1: the vocation does not occur and the frightening ola does not occur. sent2: the asteroidalness and the tellurianness happens. sent3: the computerization does not occur and the snuff does not occur. sent4: either the yield occurs or the outrage does not occur or both. sent5: the frightening doughboy does not occur if the monologuizing does not occur and/or the pinging does not occur. sent6: that the snuffing does not occur hold. sent7: the thinking cowherb happens. sent8: the fact that the morphophonemicsness does not occur and/or the screwup does not occur hold. sent9: the frightening thyrse occurs if the unimpressiveness happens. sent10: if the unimpressiveness occurs and the frightening thyrse occurs then the yield does not occur. sent11: if the computerization does not occur then the thinking cowherb occurs. sent12: that the yielding does not occur and/or the outrage does not occur brings about that the extortion does not occur. sent13: the carding Gymnocarpium does not occur. sent14: the socialization happens and the carding abscissa happens if the Gibraltarianness does not occur. sent15: the ping happens and the autogeneticness happens. sent16: the yield does not occur and/or the outrage happens. sent17: both the posting rescued and the scenicness occurs. sent18: the extortion occurs and the thinking cowherb occurs if the computerization does not occur.
void -> assump2: Let's assume that the unimpressiveness happens.; void -> assump1: Let's assume that the frightening thyrse happens.; assump2 & assump1 -> int1: the unimpressiveness happens and the frightening thyrse happens.; int1 & sent10 -> int2: the yielding does not occur.; int2 -> int3: either the yield does not occur or the outrage does not occur or both.; int3 & sent12 -> int4: the extortion does not occur.; sent3 -> int5: the computerization does not occur.; sent18 & int5 -> int6: the extortion occurs and the thinking cowherb happens.; int6 -> int7: the extortion happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the frightening thyrse does not occur.; [assump2] & int9 -> hypothesis;
$hypothesis$ = if the fact that the unimpressiveness happens hold the frightening thyrse does not occur. ; $context$ = sent1: the vocation does not occur and the frightening ola does not occur. sent2: the asteroidalness and the tellurianness happens. sent3: the computerization does not occur and the snuff does not occur. sent4: either the yield occurs or the outrage does not occur or both. sent5: the frightening doughboy does not occur if the monologuizing does not occur and/or the pinging does not occur. sent6: that the snuffing does not occur hold. sent7: the thinking cowherb happens. sent8: the fact that the morphophonemicsness does not occur and/or the screwup does not occur hold. sent9: the frightening thyrse occurs if the unimpressiveness happens. sent10: if the unimpressiveness occurs and the frightening thyrse occurs then the yield does not occur. sent11: if the computerization does not occur then the thinking cowherb occurs. sent12: that the yielding does not occur and/or the outrage does not occur brings about that the extortion does not occur. sent13: the carding Gymnocarpium does not occur. sent14: the socialization happens and the carding abscissa happens if the Gibraltarianness does not occur. sent15: the ping happens and the autogeneticness happens. sent16: the yield does not occur and/or the outrage happens. sent17: both the posting rescued and the scenicness occurs. sent18: the extortion occurs and the thinking cowherb occurs if the computerization does not occur. ; $proof$ = 
void -> assump2: Let's assume that the unimpressiveness happens.; void -> assump1: Let's assume that the frightening thyrse happens.; assump2 & assump1 -> int1: the unimpressiveness happens and the frightening thyrse happens.; int1 & sent10 -> int2: the yielding does not occur.; int2 -> int3: either the yield does not occur or the outrage does not occur or both.; int3 & sent12 -> int4: the extortion does not occur.; sent3 -> int5: the computerization does not occur.; sent18 & int5 -> int6: the extortion occurs and the thinking cowherb happens.; int6 -> int7: the extortion happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the frightening thyrse does not occur.; [assump2] & int9 -> hypothesis; __PROVED__