both the non-harmfulness and the cellulosidness happens.
sent1: the onomatopoeicness does not occur and the deflating squeeze does not occur. sent2: that the extraterrestrial happens and the cellulosidness happens is caused by that the onomatopoeicness does not occur. sent3: not the intention but the spiraling antimeson happens. sent4: if the worthlessness does not occur the symbolatry does not occur and the reposing does not occur. sent5: that the biliousness does not occur is not wrong. sent6: the humicness happens. sent7: the deflating squeeze does not occur. sent8: the extraterrestrial occurs. sent9: if the uncloaking does not occur then the moresness does not occur. sent10: both the non-harmfulness and the non-biliousness occurs if the moresness does not occur. sent11: that the extermination happens is prevented by that the masturbating occurs and/or the badgering. sent12: the moresness does not occur if the fact that both the Zolaesqueness and the uncloaking occurs is not right. sent13: the pitter-patter happens. sent14: the fact that the Zolaesqueness and the uncloaking happens is not right if the masturbating does not occur. sent15: the osculation does not occur but the impracticalness occurs. sent16: the badgering results in that not the nonspecificness but the masturbating happens. sent17: the deflating talc occurs. sent18: both the extermination and the fetish occurs. sent19: that the navigationalness happens and the unnecessariness happens is not correct. sent20: the extermination does not occur if the badgering occurs. sent21: the half-light occurs and the deflating nosology happens if the angiocarpicness does not occur. sent22: the non-onomatopoeicness results in that the extraterrestrial happens.
void -> assump1: Let's assume that the masturbating happens.; assump1 -> int1: the masturbating and/or the badgering happens.; int1 & sent11 -> int2: that the extermination does not occur is correct.; sent18 -> int3: the extermination occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the masturbating does not occur.; int5 & sent14 -> int6: the fact that the Zolaesqueness happens and the uncloaking occurs is wrong.; int6 & sent12 -> int7: the moresness does not occur.; int7 & sent10 -> int8: the non-harmfulness and the non-biliousness happens.; int8 -> int9: the harmfulness does not occur.; sent1 -> int10: the onomatopoeicness does not occur.; sent2 & int10 -> int11: both the extraterrestrialness and the cellulosidness happens.; int11 -> int12: the cellulosidness occurs.; int9 & int12 -> hypothesis;
the fact that the harmfulness does not occur and the cellulosidness happens does not hold.
 -> hypothesis;
$hypothesis$ = both the non-harmfulness and the cellulosidness happens. ; $context$ = sent1: the onomatopoeicness does not occur and the deflating squeeze does not occur. sent2: that the extraterrestrial happens and the cellulosidness happens is caused by that the onomatopoeicness does not occur. sent3: not the intention but the spiraling antimeson happens. sent4: if the worthlessness does not occur the symbolatry does not occur and the reposing does not occur. sent5: that the biliousness does not occur is not wrong. sent6: the humicness happens. sent7: the deflating squeeze does not occur. sent8: the extraterrestrial occurs. sent9: if the uncloaking does not occur then the moresness does not occur. sent10: both the non-harmfulness and the non-biliousness occurs if the moresness does not occur. sent11: that the extermination happens is prevented by that the masturbating occurs and/or the badgering. sent12: the moresness does not occur if the fact that both the Zolaesqueness and the uncloaking occurs is not right. sent13: the pitter-patter happens. sent14: the fact that the Zolaesqueness and the uncloaking happens is not right if the masturbating does not occur. sent15: the osculation does not occur but the impracticalness occurs. sent16: the badgering results in that not the nonspecificness but the masturbating happens. sent17: the deflating talc occurs. sent18: both the extermination and the fetish occurs. sent19: that the navigationalness happens and the unnecessariness happens is not correct. sent20: the extermination does not occur if the badgering occurs. sent21: the half-light occurs and the deflating nosology happens if the angiocarpicness does not occur. sent22: the non-onomatopoeicness results in that the extraterrestrial happens. ; $proof$ = 
void -> assump1: Let's assume that the masturbating happens.; assump1 -> int1: the masturbating and/or the badgering happens.; int1 & sent11 -> int2: that the extermination does not occur is correct.; sent18 -> int3: the extermination occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the masturbating does not occur.; int5 & sent14 -> int6: the fact that the Zolaesqueness happens and the uncloaking occurs is wrong.; int6 & sent12 -> int7: the moresness does not occur.; int7 & sent10 -> int8: the non-harmfulness and the non-biliousness happens.; int8 -> int9: the harmfulness does not occur.; sent1 -> int10: the onomatopoeicness does not occur.; sent2 & int10 -> int11: both the extraterrestrialness and the cellulosidness happens.; int11 -> int12: the cellulosidness occurs.; int9 & int12 -> hypothesis; __PROVED__