that there is something such that if it is a kind of a Olympia that is a kind of a parquet then the fact that it does not price Merton is not false is not true.
sent1: there is something such that if it is a Olympia and it is a parquet it does price Merton. sent2: that the warrener is not an immunity is not false if it is a kind of a Olympia that does resize. sent3: there is something such that if it does caucus and it tessellates it is not immediate. sent4: there is something such that if it does nestle and it does exclude barn it is not a circle. sent5: something is not a shin if it is a kind of a Angolan that prices Welty. sent6: if the rasp does price calamus and is a kind of a Olympia then it does warm. sent7: the rasp is a parquet if it is a kind of glottal thing that mingles wheelchair. sent8: that the swindler prices Merton hold if it does exclude revisionist and does unscramble. sent9: if something that is a Angolan does exclude Forseti the fact that it is not exchangeable hold. sent10: if the rasp is an imperialist and it is a kind of a seasoner then it is not a Olympia. sent11: the rasp does not price Merton if it is a kind of a Olympia and it is a parquet. sent12: if the rasp is a Olympia and it is a kind of a parquet it does price Merton. sent13: there is something such that if it is a kind of a disaccharidase and it is a scrapbook it is not a Syria.
sent11 -> hypothesis;
that there is something such that if it is not non-Angolan and it excludes Forseti then it is not exchangeable hold.
sent9 -> int1: the mineralogist is not exchangeable if it is a kind of a Angolan and excludes Forseti.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of a Olympia that is a kind of a parquet then the fact that it does not price Merton is not false is not true. ; $context$ = sent1: there is something such that if it is a Olympia and it is a parquet it does price Merton. sent2: that the warrener is not an immunity is not false if it is a kind of a Olympia that does resize. sent3: there is something such that if it does caucus and it tessellates it is not immediate. sent4: there is something such that if it does nestle and it does exclude barn it is not a circle. sent5: something is not a shin if it is a kind of a Angolan that prices Welty. sent6: if the rasp does price calamus and is a kind of a Olympia then it does warm. sent7: the rasp is a parquet if it is a kind of glottal thing that mingles wheelchair. sent8: that the swindler prices Merton hold if it does exclude revisionist and does unscramble. sent9: if something that is a Angolan does exclude Forseti the fact that it is not exchangeable hold. sent10: if the rasp is an imperialist and it is a kind of a seasoner then it is not a Olympia. sent11: the rasp does not price Merton if it is a kind of a Olympia and it is a parquet. sent12: if the rasp is a Olympia and it is a kind of a parquet it does price Merton. sent13: there is something such that if it is a kind of a disaccharidase and it is a scrapbook it is not a Syria. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__