that the describing barrier does not occur hold.
sent1: the refining occurs and/or the exempting orogeny happens. sent2: if the sashay occurs and/or the dispensing does not occur then that the point-of-saleness does not occur hold. sent3: if that the meeting but not the effusing occurs is incorrect the finning happens. sent4: if the economy occurs but the pyrochemicalness does not occur then the effusing does not occur. sent5: the concocting occurs if the exempting orogeny occurs. sent6: if that the point-of-saleness does not occur is not incorrect then the exempting orogeny does not occur. sent7: that the sleeting does not occur yields that the describing barrier and the concocting occurs. sent8: if that that the cremating jingling and the diminution occurs is not right is correct then the cremating jingling does not occur. sent9: that the sleeting and the meeting occurs is not false. sent10: the sashay occurs and/or the dispensing does not occur if the cremating jingling does not occur. sent11: if the effusing does not occur then the meeting does not occur. sent12: if that the economy and the non-pyrochemicalness happens does not hold then the vestal happens. sent13: that the concocting does not occur is prevented by that the refining occurs. sent14: the describing barrier does not occur if the vestalness and the concocting occurs. sent15: the sleeting happens.
void -> assump1: Let's assume that the economy but not the pyrochemicalness happens.; sent4 & assump1 -> int1: the effusing does not occur.; int1 & sent11 -> int2: that the meeting does not occur hold.; sent9 -> int3: the meet occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that both the economy and the non-pyrochemicalness occurs is wrong.; int5 & sent12 -> int6: the vestalness occurs.; sent1 & sent13 & sent5 -> int7: the concocting occurs.; int6 & int7 -> int8: both the vestalness and the concocting happens.; int8 & sent14 -> hypothesis;
the reticulating occurs and/or the finning occurs.
$hypothesis$ = that the describing barrier does not occur hold. ; $context$ = sent1: the refining occurs and/or the exempting orogeny happens. sent2: if the sashay occurs and/or the dispensing does not occur then that the point-of-saleness does not occur hold. sent3: if that the meeting but not the effusing occurs is incorrect the finning happens. sent4: if the economy occurs but the pyrochemicalness does not occur then the effusing does not occur. sent5: the concocting occurs if the exempting orogeny occurs. sent6: if that the point-of-saleness does not occur is not incorrect then the exempting orogeny does not occur. sent7: that the sleeting does not occur yields that the describing barrier and the concocting occurs. sent8: if that that the cremating jingling and the diminution occurs is not right is correct then the cremating jingling does not occur. sent9: that the sleeting and the meeting occurs is not false. sent10: the sashay occurs and/or the dispensing does not occur if the cremating jingling does not occur. sent11: if the effusing does not occur then the meeting does not occur. sent12: if that the economy and the non-pyrochemicalness happens does not hold then the vestal happens. sent13: that the concocting does not occur is prevented by that the refining occurs. sent14: the describing barrier does not occur if the vestalness and the concocting occurs. sent15: the sleeting happens. ; $proof$ = 
void -> assump1: Let's assume that the economy but not the pyrochemicalness happens.; sent4 & assump1 -> int1: the effusing does not occur.; int1 & sent11 -> int2: that the meeting does not occur hold.; sent9 -> int3: the meet occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that both the economy and the non-pyrochemicalness occurs is wrong.; int5 & sent12 -> int6: the vestalness occurs.; sent1 & sent13 & sent5 -> int7: the concocting occurs.; int6 & int7 -> int8: both the vestalness and the concocting happens.; int8 & sent14 -> hypothesis; __PROVED__