there is something such that if it is not a Toxostoma the fact that it is both a ball and striate is not correct.
sent1: there exists something such that if that it is not aversive hold then that it does criticize paraphrase and it is a kind of a scramble does not hold. sent2: there is something such that if it is a kind of a Toxostoma then that it is a ball that does striate does not hold. sent3: if the charm is not striate it does finalize earthwork and it is a CFTR. sent4: the fact that the golfcart upholds roundtable and is heliocentric is incorrect if it is not a ball. sent5: the physostigmine does ball and is striate if it is not a Toxostoma. sent6: the fact that something affords and is a Carum is not right if it is not a typography. sent7: there is something such that if it is sweet then the fact that it upholds absorption and does criticize schlep does not hold. sent8: there exists something such that if it is not a Toxostoma then it is a kind of a ball and is striate. sent9: the physostigmine is uncommunicative and it is a kind of a Toxostoma if it is not autocatalytic. sent10: if the physostigmine does not criticize brown then that it is a study and it striates does not hold. sent11: if the physostigmine is not a Toxostoma then that it is a kind of a ball and does striate is not true. sent12: if the physostigmine is not pompous then that it hypothecates and does parget is not right. sent13: if the Ostrogoth is not present then that it is metatarsal thing that does subluxate does not hold. sent14: if the physostigmine is not a Toxostoma that it does criticize paraphrase and it is a kind of a evolutionism is not true. sent15: the fact that something is a Wiffle and it does manifest is not right if it does not uphold squiggle. sent16: there exists something such that if it is not a square-rigger that it is tearless and it cranes buzzer does not hold. sent17: that the physostigmine is a ball and does striate is not correct if it is a Toxostoma.
sent11 -> hypothesis;
there is something such that if it is not a typography the fact that it does afford and is a Carum is wrong.
sent6 -> int1: if the hawser is not a typography the fact that it affords and it is a kind of a Carum is false.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Toxostoma the fact that it is both a ball and striate is not correct. ; $context$ = sent1: there exists something such that if that it is not aversive hold then that it does criticize paraphrase and it is a kind of a scramble does not hold. sent2: there is something such that if it is a kind of a Toxostoma then that it is a ball that does striate does not hold. sent3: if the charm is not striate it does finalize earthwork and it is a CFTR. sent4: the fact that the golfcart upholds roundtable and is heliocentric is incorrect if it is not a ball. sent5: the physostigmine does ball and is striate if it is not a Toxostoma. sent6: the fact that something affords and is a Carum is not right if it is not a typography. sent7: there is something such that if it is sweet then the fact that it upholds absorption and does criticize schlep does not hold. sent8: there exists something such that if it is not a Toxostoma then it is a kind of a ball and is striate. sent9: the physostigmine is uncommunicative and it is a kind of a Toxostoma if it is not autocatalytic. sent10: if the physostigmine does not criticize brown then that it is a study and it striates does not hold. sent11: if the physostigmine is not a Toxostoma then that it is a kind of a ball and does striate is not true. sent12: if the physostigmine is not pompous then that it hypothecates and does parget is not right. sent13: if the Ostrogoth is not present then that it is metatarsal thing that does subluxate does not hold. sent14: if the physostigmine is not a Toxostoma that it does criticize paraphrase and it is a kind of a evolutionism is not true. sent15: the fact that something is a Wiffle and it does manifest is not right if it does not uphold squiggle. sent16: there exists something such that if it is not a square-rigger that it is tearless and it cranes buzzer does not hold. sent17: that the physostigmine is a ball and does striate is not correct if it is a Toxostoma. ; $proof$ = 
sent11 -> hypothesis; __PROVED__