the fact that there exists something such that the fact that it is a kind of an ibex and does maraud is not true is not correct.
sent1: the buttonhole is a literate. sent2: the buttonhole does not axe warlock. sent3: the buttonhole is not an anthrax if the hummer is a pining and it does axe warlock. sent4: if something does axe warlock it is a kind of a recall. sent5: if the buttonhole is synclinal then it is a pining. sent6: The warlock does not axe buttonhole. sent7: something is literate and it is synclinal if the fact that it does not axe warlock hold. sent8: if the fact that the knackwurst is a ligne but it is not a recall is not correct the buttonhole is a ligne. sent9: the fact that the hummer is an ibex that marauds does not hold if it is not an anthrax. sent10: if there exists something such that it is not a kind of a pining and/or it does axe warlock the hummer does axe warlock. sent11: the hummer is not an anthrax if the buttonhole is both a ligne and a pining. sent12: the buttonhole is a ligne if the knackwurst is not a ligne. sent13: there is nothing such that it is both a ligne and not a recall. sent14: if something does axe warlock the fact that the fact that it is a kind of a zygotene and it is not urogenital is not wrong does not hold.
sent7 -> int1: if the buttonhole does not axe warlock it is literate and it is synclinal.; int1 & sent2 -> int2: the buttonhole is a kind of literate thing that is synclinal.; int2 -> int3: the buttonhole is synclinal.; int3 & sent5 -> int4: the buttonhole is a kind of a pining.; sent13 -> int5: that the knackwurst is a ligne but not a recall is not true.; sent8 & int5 -> int6: the buttonhole is a ligne.; int4 & int6 -> int7: the buttonhole is a ligne that is a pining.; int7 & sent11 -> int8: the hummer is not an anthrax.; int8 & sent9 -> int9: the fact that the hummer is an ibex and does maraud is incorrect.; int9 -> hypothesis;
the hummer does recall.
sent4 -> int10: if the hummer does axe warlock then the fact that it is a recall is true.;
$hypothesis$ = the fact that there exists something such that the fact that it is a kind of an ibex and does maraud is not true is not correct. ; $context$ = sent1: the buttonhole is a literate. sent2: the buttonhole does not axe warlock. sent3: the buttonhole is not an anthrax if the hummer is a pining and it does axe warlock. sent4: if something does axe warlock it is a kind of a recall. sent5: if the buttonhole is synclinal then it is a pining. sent6: The warlock does not axe buttonhole. sent7: something is literate and it is synclinal if the fact that it does not axe warlock hold. sent8: if the fact that the knackwurst is a ligne but it is not a recall is not correct the buttonhole is a ligne. sent9: the fact that the hummer is an ibex that marauds does not hold if it is not an anthrax. sent10: if there exists something such that it is not a kind of a pining and/or it does axe warlock the hummer does axe warlock. sent11: the hummer is not an anthrax if the buttonhole is both a ligne and a pining. sent12: the buttonhole is a ligne if the knackwurst is not a ligne. sent13: there is nothing such that it is both a ligne and not a recall. sent14: if something does axe warlock the fact that the fact that it is a kind of a zygotene and it is not urogenital is not wrong does not hold. ; $proof$ = 
sent7 -> int1: if the buttonhole does not axe warlock it is literate and it is synclinal.; int1 & sent2 -> int2: the buttonhole is a kind of literate thing that is synclinal.; int2 -> int3: the buttonhole is synclinal.; int3 & sent5 -> int4: the buttonhole is a kind of a pining.; sent13 -> int5: that the knackwurst is a ligne but not a recall is not true.; sent8 & int5 -> int6: the buttonhole is a ligne.; int4 & int6 -> int7: the buttonhole is a ligne that is a pining.; int7 & sent11 -> int8: the hummer is not an anthrax.; int8 & sent9 -> int9: the fact that the hummer is an ibex and does maraud is incorrect.; int9 -> hypothesis; __DISPROVED__