there exists something such that if that it is a kind of a Sadducee hold it is not pervious and is not a crudeness.
sent1: there exists something such that if it is a kind of a Sadducee it is a kind of pervious thing that is not a crudeness. sent2: something is pervious but it is not a kind of a crudeness if it is not a slant. sent3: the rerebrace is not a kind of a ketorolac. sent4: if the rerebrace does not slant it is both pervious and not a crudeness. sent5: if the rerebrace is a kind of a Sadducee it is not a kind of a crudeness. sent6: the rerebrace is not a crudeness. sent7: there is something such that if it is an oncogene it does not stigmatize knish and it does not excise pennyworth. sent8: if something that is a crudeness is not a Sadducee then the knish is not a kind of a pasta. sent9: something is not pervious and not a crudeness if it does not slant. sent10: something that is not a slant is not a crudeness. sent11: there is something such that if it is a Sadducee it is not a kind of a crudeness. sent12: there is something such that if it is a Sadducee then it is not pervious and it is a crudeness. sent13: if the rerebrace does not slant then it is not a crudeness. sent14: there exists something such that if it is a kind of a Sadducee it is not pervious. sent15: if either the rerebrace is pasta or it is a slant or both then it is not a Sadducee. sent16: if the rerebrace is a kind of a Sadducee then it is pervious and it is not a crudeness. sent17: the rerebrace is pervious but it is not a crudeness. sent18: the springboard either is toeless or is a kind of a ketorolac or both. sent19: something is a crudeness and is not a Sadducee if it does rhapsodize. sent20: the rerebrace is not a Sadducee if it is a pasta.
void -> assump2: Let's assume that the rerebrace slants.; assump2 -> int1: the rerebrace is a kind of a pasta or it does slant or both.; int1 & sent15 -> int2: the rerebrace is not a Sadducee.; void -> assump1: Let's assume that the rerebrace is a Sadducee.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the rerebrace does not slant is correct.; sent9 -> int5: if the rerebrace is not a slant it is not pervious and not a crudeness.; int4 & int5 -> int6: the rerebrace is not pervious and is not a crudeness.; [assump1] & int6 -> int7: if the rerebrace is a Sadducee it is not pervious and is not a crudeness.; int7 -> hypothesis;
the fact that the knish is not pervious hold.
sent19 -> int8: the rerebrace is a crudeness but it is not a Sadducee if it does rhapsodize.;
$hypothesis$ = there exists something such that if that it is a kind of a Sadducee hold it is not pervious and is not a crudeness. ; $context$ = sent1: there exists something such that if it is a kind of a Sadducee it is a kind of pervious thing that is not a crudeness. sent2: something is pervious but it is not a kind of a crudeness if it is not a slant. sent3: the rerebrace is not a kind of a ketorolac. sent4: if the rerebrace does not slant it is both pervious and not a crudeness. sent5: if the rerebrace is a kind of a Sadducee it is not a kind of a crudeness. sent6: the rerebrace is not a crudeness. sent7: there is something such that if it is an oncogene it does not stigmatize knish and it does not excise pennyworth. sent8: if something that is a crudeness is not a Sadducee then the knish is not a kind of a pasta. sent9: something is not pervious and not a crudeness if it does not slant. sent10: something that is not a slant is not a crudeness. sent11: there is something such that if it is a Sadducee it is not a kind of a crudeness. sent12: there is something such that if it is a Sadducee then it is not pervious and it is a crudeness. sent13: if the rerebrace does not slant then it is not a crudeness. sent14: there exists something such that if it is a kind of a Sadducee it is not pervious. sent15: if either the rerebrace is pasta or it is a slant or both then it is not a Sadducee. sent16: if the rerebrace is a kind of a Sadducee then it is pervious and it is not a crudeness. sent17: the rerebrace is pervious but it is not a crudeness. sent18: the springboard either is toeless or is a kind of a ketorolac or both. sent19: something is a crudeness and is not a Sadducee if it does rhapsodize. sent20: the rerebrace is not a Sadducee if it is a pasta. ; $proof$ = 
void -> assump2: Let's assume that the rerebrace slants.; assump2 -> int1: the rerebrace is a kind of a pasta or it does slant or both.; int1 & sent15 -> int2: the rerebrace is not a Sadducee.; void -> assump1: Let's assume that the rerebrace is a Sadducee.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the rerebrace does not slant is correct.; sent9 -> int5: if the rerebrace is not a slant it is not pervious and not a crudeness.; int4 & int5 -> int6: the rerebrace is not pervious and is not a crudeness.; [assump1] & int6 -> int7: if the rerebrace is a Sadducee it is not pervious and is not a crudeness.; int7 -> hypothesis; __PROVED__