the palliative does wake bristlegrass.
sent1: the exhalation is not a Voltaren. sent2: the fact that the exhalation is a kind of a sufferance but it is not wary does not hold. sent3: if the fact that the exhalation is a sufferance that is not wary is not right the bristlegrass is not wary. sent4: that the surrey is a butch but it is not wary is wrong. sent5: something is not a casualness if it is dextral. sent6: if something that is not a lakefront is not a Voltaren it does not wake bristlegrass. sent7: if there is something such that the fact that it is wary and it is not nonsteroidal does not hold then the fact that the palliative is a sufferance hold. sent8: there exists something such that the fact that it is wary and not nonsteroidal does not hold. sent9: if there exists something such that that it is a kind of a butch and it is not cherty is wrong the palliative is nonsteroidal. sent10: the exhalation is non-Paleozoic. sent11: the bristlegrass is a lakefront if there exists something such that the fact that it is wary is right. sent12: that the doxazosin is not nonsteroidal is right. sent13: if something is not a lakefront then it is nonsteroidal and it is wary. sent14: the palliative is non-cherty thing that is not wary if it is a lakefront. sent15: something is not a lakefront and it is not a Voltaren if it is nonsteroidal. sent16: the exhalation is not nonsteroidal if that the palliative is wary but it is not nonsteroidal does not hold. sent17: that the exhalation is both a butch and wary does not hold. sent18: the polarization is not a Voltaren. sent19: if the exhalation does not wake bristlegrass and it is not wary it is not a lakefront. sent20: the bristlegrass is wary if something that is a kind of a butch is not cherty. sent21: the bristlegrass is a Voltaren.
void -> assump1: Let's assume that the surrey is a butch but not cherty.; assump1 -> int1: there exists something such that it is a butch but not cherty.; int1 & sent20 -> int2: the bristlegrass is wary.; sent3 & sent2 -> int3: the bristlegrass is not wary.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the surrey is a butch and non-cherty is false.; int5 -> int6: there exists something such that the fact that it is both a butch and not cherty does not hold.; int6 & sent9 -> int7: the palliative is nonsteroidal.; sent15 -> int8: that if the palliative is nonsteroidal the fact that the palliative is not a lakefront and not a Voltaren is right is true.; int7 & int8 -> int9: the palliative is not a lakefront and it is not a Voltaren.; sent6 -> int10: if the palliative is not a lakefront and it is not a kind of a Voltaren then it does not wake bristlegrass.; int9 & int10 -> hypothesis;
the fact that the palliative does wake bristlegrass is correct.
sent13 -> int11: the bristlegrass is nonsteroidal and it is wary if it is not a lakefront.;
$hypothesis$ = the palliative does wake bristlegrass. ; $context$ = sent1: the exhalation is not a Voltaren. sent2: the fact that the exhalation is a kind of a sufferance but it is not wary does not hold. sent3: if the fact that the exhalation is a sufferance that is not wary is not right the bristlegrass is not wary. sent4: that the surrey is a butch but it is not wary is wrong. sent5: something is not a casualness if it is dextral. sent6: if something that is not a lakefront is not a Voltaren it does not wake bristlegrass. sent7: if there is something such that the fact that it is wary and it is not nonsteroidal does not hold then the fact that the palliative is a sufferance hold. sent8: there exists something such that the fact that it is wary and not nonsteroidal does not hold. sent9: if there exists something such that that it is a kind of a butch and it is not cherty is wrong the palliative is nonsteroidal. sent10: the exhalation is non-Paleozoic. sent11: the bristlegrass is a lakefront if there exists something such that the fact that it is wary is right. sent12: that the doxazosin is not nonsteroidal is right. sent13: if something is not a lakefront then it is nonsteroidal and it is wary. sent14: the palliative is non-cherty thing that is not wary if it is a lakefront. sent15: something is not a lakefront and it is not a Voltaren if it is nonsteroidal. sent16: the exhalation is not nonsteroidal if that the palliative is wary but it is not nonsteroidal does not hold. sent17: that the exhalation is both a butch and wary does not hold. sent18: the polarization is not a Voltaren. sent19: if the exhalation does not wake bristlegrass and it is not wary it is not a lakefront. sent20: the bristlegrass is wary if something that is a kind of a butch is not cherty. sent21: the bristlegrass is a Voltaren. ; $proof$ = 
void -> assump1: Let's assume that the surrey is a butch but not cherty.; assump1 -> int1: there exists something such that it is a butch but not cherty.; int1 & sent20 -> int2: the bristlegrass is wary.; sent3 & sent2 -> int3: the bristlegrass is not wary.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the surrey is a butch and non-cherty is false.; int5 -> int6: there exists something such that the fact that it is both a butch and not cherty does not hold.; int6 & sent9 -> int7: the palliative is nonsteroidal.; sent15 -> int8: that if the palliative is nonsteroidal the fact that the palliative is not a lakefront and not a Voltaren is right is true.; int7 & int8 -> int9: the palliative is not a lakefront and it is not a Voltaren.; sent6 -> int10: if the palliative is not a lakefront and it is not a kind of a Voltaren then it does not wake bristlegrass.; int9 & int10 -> hypothesis; __DISPROVED__