that the crockery is either polite or not non-rural or both is wrong.
sent1: if something is architectural it tinctures saltiness. sent2: the ciderpress does not fall pregnanediol but it does elegize if it is not a trouble. sent3: something is a tahini if it is a trouble. sent4: the ciderpress is cometary if it is impolite. sent5: the fact that the crockery is a kind of a tahini is not wrong. sent6: something is tensile but it is not scentless if it is a jeer. sent7: if something does not trouble the fact that it is not impolite and/or it is rural is wrong. sent8: the crockery does redecorate omicron. sent9: the ciderpress does not fall pregnanediol. sent10: if the ciderpress is a tahini then the crockery is rural. sent11: the fact that the ciderpress does fall pregnanediol and it elegizes is not true. sent12: if the saxifrage is tensile but it is not scentless then the tunic is not scentless. sent13: there is nothing such that it does not fall pregnanediol and it does elegize. sent14: there is nothing such that it falls pregnanediol and it does elegize. sent15: the ciderpress is not a tahini and it does not trouble if the tunic is scented. sent16: the crockery is not a kind of a trouble if the ciderpress is not a tahini and it is not a trouble. sent17: the fact that the mucilage does trouble hold. sent18: the crockery is impolite and/or it is rural. sent19: if the ciderpress is not a trouble it does not fall pregnanediol. sent20: that the battery does not elegize but it does separate is incorrect. sent21: the ciderpress does trouble if the fact that it is not impolite hold. sent22: if the ciderpress is rural then the crockery is a kind of a trouble.
void -> assump1: Let's assume that the ciderpress is not a trouble.; sent2 & assump1 -> int1: the ciderpress does not fall pregnanediol but it does elegize.; sent13 -> int2: the fact that the ciderpress does not fall pregnanediol but it does elegize is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ciderpress troubles.; sent3 -> int5: if the ciderpress troubles then it is a tahini.; int4 & int5 -> int6: the fact that the ciderpress is a tahini hold.; int6 & sent10 -> int7: the crockery is rural.; int7 -> hypothesis;
that the crockery is polite and/or rural does not hold.
sent7 -> int8: that the crockery is not impolite and/or is rural is incorrect if it is not a kind of a trouble.; sent6 -> int9: the saxifrage is a kind of tensile thing that is not scentless if it does jeer.;
$hypothesis$ = that the crockery is either polite or not non-rural or both is wrong. ; $context$ = sent1: if something is architectural it tinctures saltiness. sent2: the ciderpress does not fall pregnanediol but it does elegize if it is not a trouble. sent3: something is a tahini if it is a trouble. sent4: the ciderpress is cometary if it is impolite. sent5: the fact that the crockery is a kind of a tahini is not wrong. sent6: something is tensile but it is not scentless if it is a jeer. sent7: if something does not trouble the fact that it is not impolite and/or it is rural is wrong. sent8: the crockery does redecorate omicron. sent9: the ciderpress does not fall pregnanediol. sent10: if the ciderpress is a tahini then the crockery is rural. sent11: the fact that the ciderpress does fall pregnanediol and it elegizes is not true. sent12: if the saxifrage is tensile but it is not scentless then the tunic is not scentless. sent13: there is nothing such that it does not fall pregnanediol and it does elegize. sent14: there is nothing such that it falls pregnanediol and it does elegize. sent15: the ciderpress is not a tahini and it does not trouble if the tunic is scented. sent16: the crockery is not a kind of a trouble if the ciderpress is not a tahini and it is not a trouble. sent17: the fact that the mucilage does trouble hold. sent18: the crockery is impolite and/or it is rural. sent19: if the ciderpress is not a trouble it does not fall pregnanediol. sent20: that the battery does not elegize but it does separate is incorrect. sent21: the ciderpress does trouble if the fact that it is not impolite hold. sent22: if the ciderpress is rural then the crockery is a kind of a trouble. ; $proof$ = 
void -> assump1: Let's assume that the ciderpress is not a trouble.; sent2 & assump1 -> int1: the ciderpress does not fall pregnanediol but it does elegize.; sent13 -> int2: the fact that the ciderpress does not fall pregnanediol but it does elegize is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ciderpress troubles.; sent3 -> int5: if the ciderpress troubles then it is a tahini.; int4 & int5 -> int6: the fact that the ciderpress is a tahini hold.; int6 & sent10 -> int7: the crockery is rural.; int7 -> hypothesis; __DISPROVED__