the roper is not a kind of a shakedown.
sent1: if that something is not endergonic and it is not a shakedown is incorrect then it is a kind of a shakedown. sent2: the camise is a Brazilian. sent3: if something is not a size the noctiluca is mononuclear. sent4: that the Jew's-ear is a command and it exalts hymen does not hold. sent5: something is a Pinot and is a sect. sent6: that if there exists something such that it is Brazilian then the camise is a kind of a sect is true. sent7: the roper is a sect. sent8: if something is a backbone and is endergonic then it does not exalt hymen. sent9: if the camise is a kind of a Brazilian then the zidovudine exalts hymen. sent10: if the noctiluca is mononuclear then that it does not swamp hillside and it is non-spermicidal is incorrect. sent11: if the zidovudine is not a kind of a backbone the fact that it is a Pinot and a sect is not right. sent12: the religionist is a backbone. sent13: that the zidovudine is both a Timimoun and Brazilian is incorrect if it is not synchronous. sent14: something is not a Crockett if it is noncollapsible and a surrender. sent15: if there exists something such that it is a kind of a sect that the zidovudine is not a Pinot and it does not exalt hymen is not true. sent16: the hillside is not a kind of a size. sent17: that the roper is not a kind of a shakedown if something is not a Pinot is not wrong. sent18: the roper is not a kind of a shakedown if there exists something such that the fact that it is a Pinot and it is a sect is wrong. sent19: the zidovudine is not cinematic. sent20: that that something is not endergonic and is not a kind of a shakedown is not true if it is a kind of a backbone is not wrong. sent21: the fact that the zidovudine is endergonic is not false. sent22: if there exists something such that it is a backbone the zidovudine is a kind of a Brazilian. sent23: if that the noctiluca does not swamp hillside and it is not spermicidal is incorrect then the striper is Brazilian.
void -> assump1: Let's assume that the zidovudine is a backbone.; assump1 & sent21 -> int1: the zidovudine is a kind of a backbone that is endergonic.; sent8 -> int2: if the zidovudine is both a backbone and endergonic it does not exalt hymen.; int1 & int2 -> int3: the zidovudine does not exalt hymen.; sent9 & sent2 -> int4: the zidovudine exalts hymen.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the zidovudine is not a backbone.; int6 & sent11 -> int7: that the zidovudine is a Pinot and it is a kind of a sect does not hold.; int7 -> int8: there exists something such that that it is a Pinot and it is a sect is not correct.; int8 & sent18 -> hypothesis;
the zidovudine is Brazilian.
$hypothesis$ = the roper is not a kind of a shakedown. ; $context$ = sent1: if that something is not endergonic and it is not a shakedown is incorrect then it is a kind of a shakedown. sent2: the camise is a Brazilian. sent3: if something is not a size the noctiluca is mononuclear. sent4: that the Jew's-ear is a command and it exalts hymen does not hold. sent5: something is a Pinot and is a sect. sent6: that if there exists something such that it is Brazilian then the camise is a kind of a sect is true. sent7: the roper is a sect. sent8: if something is a backbone and is endergonic then it does not exalt hymen. sent9: if the camise is a kind of a Brazilian then the zidovudine exalts hymen. sent10: if the noctiluca is mononuclear then that it does not swamp hillside and it is non-spermicidal is incorrect. sent11: if the zidovudine is not a kind of a backbone the fact that it is a Pinot and a sect is not right. sent12: the religionist is a backbone. sent13: that the zidovudine is both a Timimoun and Brazilian is incorrect if it is not synchronous. sent14: something is not a Crockett if it is noncollapsible and a surrender. sent15: if there exists something such that it is a kind of a sect that the zidovudine is not a Pinot and it does not exalt hymen is not true. sent16: the hillside is not a kind of a size. sent17: that the roper is not a kind of a shakedown if something is not a Pinot is not wrong. sent18: the roper is not a kind of a shakedown if there exists something such that the fact that it is a Pinot and it is a sect is wrong. sent19: the zidovudine is not cinematic. sent20: that that something is not endergonic and is not a kind of a shakedown is not true if it is a kind of a backbone is not wrong. sent21: the fact that the zidovudine is endergonic is not false. sent22: if there exists something such that it is a backbone the zidovudine is a kind of a Brazilian. sent23: if that the noctiluca does not swamp hillside and it is not spermicidal is incorrect then the striper is Brazilian. ; $proof$ = 
void -> assump1: Let's assume that the zidovudine is a backbone.; assump1 & sent21 -> int1: the zidovudine is a kind of a backbone that is endergonic.; sent8 -> int2: if the zidovudine is both a backbone and endergonic it does not exalt hymen.; int1 & int2 -> int3: the zidovudine does not exalt hymen.; sent9 & sent2 -> int4: the zidovudine exalts hymen.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the zidovudine is not a backbone.; int6 & sent11 -> int7: that the zidovudine is a Pinot and it is a kind of a sect does not hold.; int7 -> int8: there exists something such that that it is a Pinot and it is a sect is not correct.; int8 & sent18 -> hypothesis; __PROVED__