the bibliothecalness does not occur and the chin does not occur.
sent1: both the unsalableness and the admissibleness happens. sent2: if the retort does not occur the fact that the apocryphalness does not occur and the sweat does not occur is right. sent3: the fact that the bibliothecalness does not occur and the chin does not occur is wrong if the scheduling does not occur. sent4: the chin does not occur. sent5: the effacing male does not occur if the fact that the cytotoxicness does not occur and the BW occurs does not hold. sent6: if that not the growl but the diffidentness happens is false the bibliothecalness does not occur. sent7: the Hindustani does not occur. sent8: if the diffidentness does not occur then the growl does not occur. sent9: the Hertzianness is brought about by that the horseshow happens. sent10: if the fact that the ATM happens is wrong then that not the growl but the diffidentness happens is not true. sent11: the bibliothecalness does not occur if the growl happens. sent12: if the fact that the scheduling and the ATM occurs is correct the Hertzianness does not occur. sent13: the horseshow occurs. sent14: the scheduling happens. sent15: that the fact that the growl occurs and the diffidentness happens is not right is not incorrect if the ATM does not occur. sent16: if the apocryphalness does not occur then that the illogicalness occurs and the horseshow happens does not hold. sent17: the horseshow does not occur if the fact that the illogicalness and the horseshow happens is false. sent18: that both the growl and the diffidentness happens does not hold.
void -> assump1: Let's assume that the ATM happens.; sent14 & assump1 -> int1: both the scheduling and the ATM happens.; int1 & sent12 -> int2: the Hertzianness does not occur.; sent9 & sent13 -> int3: the Hertzianness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the ATM does not occur is correct.; int5 & sent10 -> int6: that the growl does not occur but the diffidentness occurs is incorrect.; int6 & sent6 -> int7: that the bibliothecalness does not occur is correct.; int7 & sent4 -> hypothesis;
that that the bibliothecalness does not occur and the chinning does not occur is not wrong is incorrect.
$hypothesis$ = the bibliothecalness does not occur and the chin does not occur. ; $context$ = sent1: both the unsalableness and the admissibleness happens. sent2: if the retort does not occur the fact that the apocryphalness does not occur and the sweat does not occur is right. sent3: the fact that the bibliothecalness does not occur and the chin does not occur is wrong if the scheduling does not occur. sent4: the chin does not occur. sent5: the effacing male does not occur if the fact that the cytotoxicness does not occur and the BW occurs does not hold. sent6: if that not the growl but the diffidentness happens is false the bibliothecalness does not occur. sent7: the Hindustani does not occur. sent8: if the diffidentness does not occur then the growl does not occur. sent9: the Hertzianness is brought about by that the horseshow happens. sent10: if the fact that the ATM happens is wrong then that not the growl but the diffidentness happens is not true. sent11: the bibliothecalness does not occur if the growl happens. sent12: if the fact that the scheduling and the ATM occurs is correct the Hertzianness does not occur. sent13: the horseshow occurs. sent14: the scheduling happens. sent15: that the fact that the growl occurs and the diffidentness happens is not right is not incorrect if the ATM does not occur. sent16: if the apocryphalness does not occur then that the illogicalness occurs and the horseshow happens does not hold. sent17: the horseshow does not occur if the fact that the illogicalness and the horseshow happens is false. sent18: that both the growl and the diffidentness happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the ATM happens.; sent14 & assump1 -> int1: both the scheduling and the ATM happens.; int1 & sent12 -> int2: the Hertzianness does not occur.; sent9 & sent13 -> int3: the Hertzianness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the ATM does not occur is correct.; int5 & sent10 -> int6: that the growl does not occur but the diffidentness occurs is incorrect.; int6 & sent6 -> int7: that the bibliothecalness does not occur is correct.; int7 & sent4 -> hypothesis; __PROVED__