the fact that there is something such that the fact that it is supraorbital thing that is not unsociable is incorrect is not correct.
sent1: there is something such that that it is a kind of supraorbital thing that is a leeward does not hold. sent2: the havelock is not a leeward if the viceroy is not supraorbital. sent3: there is something such that it is a kind of supraorbital a sociable. sent4: the flour is not leeward. sent5: the soundbox is not a kind of a sole. sent6: there are leeward and supraorbital things. sent7: the fact that that the viceroy is both not non-leeward and not unsociable does not hold if the havelock does not enclose essence hold. sent8: if the soundbox does not enclose essence the viceroy is not leeward. sent9: the havelock is not a leeward. sent10: the cushaw does not lease retractor. sent11: the soundbox is not a extraversion. sent12: The essence does not enclose soundbox. sent13: the soundbox does not enclose essence. sent14: if the viceroy does not enclose essence the fact that the soundbox is a pattern and does axe smart is not right. sent15: the havelock is unmilitary. sent16: the havelock is not a kind of a flexibility. sent17: if the havelock is non-supraorbital the fact that the soundbox is a kind of a sociable and it encloses essence does not hold. sent18: that the havelock is sociable and/or it is supraorbital hold. sent19: the fact that the havelock is supraorbital and it is a sociable is not true if the viceroy is not a kind of a leeward. sent20: if the fact that something does enclose essence but it is not a leeward is not true it does not enclose essence.
sent8 & sent13 -> int1: the viceroy is not leeward.; sent19 & int1 -> int2: that the havelock is supraorbital thing that is sociable does not hold.; int2 -> hypothesis;
there is something such that the fact that it is a kind of a pattern that axes smart is not true.
sent20 -> int3: the viceroy does not enclose essence if the fact that it does enclose essence and is not a kind of a leeward is false.;
$hypothesis$ = the fact that there is something such that the fact that it is supraorbital thing that is not unsociable is incorrect is not correct. ; $context$ = sent1: there is something such that that it is a kind of supraorbital thing that is a leeward does not hold. sent2: the havelock is not a leeward if the viceroy is not supraorbital. sent3: there is something such that it is a kind of supraorbital a sociable. sent4: the flour is not leeward. sent5: the soundbox is not a kind of a sole. sent6: there are leeward and supraorbital things. sent7: the fact that that the viceroy is both not non-leeward and not unsociable does not hold if the havelock does not enclose essence hold. sent8: if the soundbox does not enclose essence the viceroy is not leeward. sent9: the havelock is not a leeward. sent10: the cushaw does not lease retractor. sent11: the soundbox is not a extraversion. sent12: The essence does not enclose soundbox. sent13: the soundbox does not enclose essence. sent14: if the viceroy does not enclose essence the fact that the soundbox is a pattern and does axe smart is not right. sent15: the havelock is unmilitary. sent16: the havelock is not a kind of a flexibility. sent17: if the havelock is non-supraorbital the fact that the soundbox is a kind of a sociable and it encloses essence does not hold. sent18: that the havelock is sociable and/or it is supraorbital hold. sent19: the fact that the havelock is supraorbital and it is a sociable is not true if the viceroy is not a kind of a leeward. sent20: if the fact that something does enclose essence but it is not a leeward is not true it does not enclose essence. ; $proof$ = 
sent8 & sent13 -> int1: the viceroy is not leeward.; sent19 & int1 -> int2: that the havelock is supraorbital thing that is sociable does not hold.; int2 -> hypothesis; __DISPROVED__