the horning backlash does not occur and the indecentness does not occur.
sent1: the creeps and/or the indecentness occurs. sent2: the fact that the horning backlash does not occur and the indecentness does not occur is not true if the creeps does not occur. sent3: that the horning tartrate does not occur and the horning X-ray does not occur prevents that the embrowning distinctness happens. sent4: the non-differentialness and/or the impinging occurs. sent5: the unclothing gang happens. sent6: if the embrowning distinctness does not occur the leaflessness occurs but the unclothing magneton does not occur. sent7: the embrowning distinctness occurs. sent8: either the artifactualness or the pronominal or both happens. sent9: if the fact that the fact that not the horning teased but the managership happens does not hold is true the managership does not occur. sent10: if that the embrowning distinctness happens hold the unclothing magneton happens. sent11: if the fact that that both the leafyness and the horning backlash happens is not right is true the horning backlash does not occur. sent12: if that the unclothing sauce-alone occurs is not wrong then that the embrowning carat occurs is not wrong. sent13: if the leaflessness but not the unclothing magneton happens then the creeps does not occur. sent14: if the horning X-ray does not occur that the leaflessness does not occur but the horning backlash happens is not correct. sent15: if the creeps does not occur the unclothing magneton does not occur. sent16: the fact that the poisoning does not occur and the rectorship happens is not right. sent17: the unclothing magneton does not occur if the creeping does not occur or the indecentness happens or both. sent18: if either the non-acervateness or the hearts or both occurs then the tickle does not occur. sent19: the horning X-ray does not occur. sent20: the rotary does not occur. sent21: the horning tartrate does not occur and the horning X-ray does not occur if the fact that the embrowning carat happens is not wrong.
void -> assump1: Let's assume that the indecentness happens.; assump1 -> int1: the creeping does not occur and/or the indecentness occurs.; int1 & sent17 -> int2: the unclothing magneton does not occur.; sent10 & sent7 -> int3: the unclothing magneton occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the indecentness does not occur.; sent14 & sent19 -> int6: that the leafyness and the horning backlash happens is not true.; sent11 & int6 -> int7: the horning backlash does not occur.; int5 & int7 -> hypothesis;
the fact that the horning backlash does not occur and the indecentness does not occur does not hold.
$hypothesis$ = the horning backlash does not occur and the indecentness does not occur. ; $context$ = sent1: the creeps and/or the indecentness occurs. sent2: the fact that the horning backlash does not occur and the indecentness does not occur is not true if the creeps does not occur. sent3: that the horning tartrate does not occur and the horning X-ray does not occur prevents that the embrowning distinctness happens. sent4: the non-differentialness and/or the impinging occurs. sent5: the unclothing gang happens. sent6: if the embrowning distinctness does not occur the leaflessness occurs but the unclothing magneton does not occur. sent7: the embrowning distinctness occurs. sent8: either the artifactualness or the pronominal or both happens. sent9: if the fact that the fact that not the horning teased but the managership happens does not hold is true the managership does not occur. sent10: if that the embrowning distinctness happens hold the unclothing magneton happens. sent11: if the fact that that both the leafyness and the horning backlash happens is not right is true the horning backlash does not occur. sent12: if that the unclothing sauce-alone occurs is not wrong then that the embrowning carat occurs is not wrong. sent13: if the leaflessness but not the unclothing magneton happens then the creeps does not occur. sent14: if the horning X-ray does not occur that the leaflessness does not occur but the horning backlash happens is not correct. sent15: if the creeps does not occur the unclothing magneton does not occur. sent16: the fact that the poisoning does not occur and the rectorship happens is not right. sent17: the unclothing magneton does not occur if the creeping does not occur or the indecentness happens or both. sent18: if either the non-acervateness or the hearts or both occurs then the tickle does not occur. sent19: the horning X-ray does not occur. sent20: the rotary does not occur. sent21: the horning tartrate does not occur and the horning X-ray does not occur if the fact that the embrowning carat happens is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the indecentness happens.; assump1 -> int1: the creeping does not occur and/or the indecentness occurs.; int1 & sent17 -> int2: the unclothing magneton does not occur.; sent10 & sent7 -> int3: the unclothing magneton occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the indecentness does not occur.; sent14 & sent19 -> int6: that the leafyness and the horning backlash happens is not true.; sent11 & int6 -> int7: the horning backlash does not occur.; int5 & int7 -> hypothesis; __PROVED__