there is something such that if it is Wilsonian and it instruments overview it is not a medley.
sent1: the banquette instruments overview. sent2: the banquette is a medley if it is Wilsonian and it instruments overview. sent3: the banquette admits if it mystifies sorghum. sent4: the banquette is not a delineation if it is a kind of Wilsonian a medley. sent5: something is a polder if it admits. sent6: if there is something such that the fact that it is not a delineation and it is not Wilsonian does not hold then the mouflon is Wilsonian. sent7: if there exists something such that it does instrument overview then the fact that the fireboat is a kind of a polder and does not instrument overview is incorrect. sent8: there is something such that if it is a kind of Wilsonian thing that does instrument overview then it is a kind of a medley. sent9: something is not a kind of a medley and/or does instrument overview if it is Wilsonian. sent10: if the banquette is not a medley it is not a garmentmaker. sent11: there exists something such that if it does admit and it instruments overview then it is not a delineation. sent12: if the banquette is not a kind of a delineation it is not a polder. sent13: the fact that if the egret is a kind of the medley then the egret is a moraine is not wrong. sent14: the banquette does instrument overview if the mouflon either is not a medley or instrument overview or both. sent15: there is nothing such that it is not a kind of a delineation and is not Wilsonian.
void -> assump2: Let's assume that the banquette is Wilsonian and instruments overview.; assump2 -> int1: that the banquette is Wilsonian is correct.; void -> assump1: Let's assume that the banquette is a medley.; int1 & assump1 -> int2: the banquette is Wilsonian and it is a medley.; int2 & sent4 -> int3: the banquette is not a delineation.; int3 & sent12 -> int4: the banquette is not a polder.; sent5 -> int5: the banquette is a polder if it admits.;
the fireboat is not a polder.
sent9 -> int6: if the fact that the mouflon is Wilsonian hold it is not a kind of a medley or does instrument overview or both.; sent15 -> int7: that the heckelphone is both not a delineation and non-Wilsonian is not right.; int7 -> int8: there exists something such that that it is not a kind of a delineation and is not Wilsonian is incorrect.; int8 & sent6 -> int9: the mouflon is not non-Wilsonian.; int6 & int9 -> int10: that either the mouflon is not a medley or it does instrument overview or both is right.; sent14 & int10 -> int11: the banquette instruments overview.; int11 -> int12: something instruments overview.; int12 & sent7 -> int13: that the fireboat is a polder that does not instrument overview is not correct.;
$hypothesis$ = there is something such that if it is Wilsonian and it instruments overview it is not a medley. ; $context$ = sent1: the banquette instruments overview. sent2: the banquette is a medley if it is Wilsonian and it instruments overview. sent3: the banquette admits if it mystifies sorghum. sent4: the banquette is not a delineation if it is a kind of Wilsonian a medley. sent5: something is a polder if it admits. sent6: if there is something such that the fact that it is not a delineation and it is not Wilsonian does not hold then the mouflon is Wilsonian. sent7: if there exists something such that it does instrument overview then the fact that the fireboat is a kind of a polder and does not instrument overview is incorrect. sent8: there is something such that if it is a kind of Wilsonian thing that does instrument overview then it is a kind of a medley. sent9: something is not a kind of a medley and/or does instrument overview if it is Wilsonian. sent10: if the banquette is not a medley it is not a garmentmaker. sent11: there exists something such that if it does admit and it instruments overview then it is not a delineation. sent12: if the banquette is not a kind of a delineation it is not a polder. sent13: the fact that if the egret is a kind of the medley then the egret is a moraine is not wrong. sent14: the banquette does instrument overview if the mouflon either is not a medley or instrument overview or both. sent15: there is nothing such that it is not a kind of a delineation and is not Wilsonian. ; $proof$ = 
void -> assump2: Let's assume that the banquette is Wilsonian and instruments overview.; assump2 -> int1: that the banquette is Wilsonian is correct.; void -> assump1: Let's assume that the banquette is a medley.; int1 & assump1 -> int2: the banquette is Wilsonian and it is a medley.; int2 & sent4 -> int3: the banquette is not a delineation.; int3 & sent12 -> int4: the banquette is not a polder.; sent5 -> int5: the banquette is a polder if it admits.; __UNKNOWN__