the armhole twills plier and is a ghillie.
sent1: the plier does not encapsulate crudeness. sent2: if the plier is not a kind of a last then the fact that the nimbus is a kind of a ponycart and is not allogamous is wrong. sent3: the plier is a re-introduction. sent4: the polymyxin encapsulates crudeness if there exists something such that the fact that it is a ponycart and it is not allogamous is not true. sent5: if there exists something such that the fact that it lasts and it does not encapsulate crudeness is false then the polymyxin is a ghillie. sent6: the plier does not update polymyxin. sent7: there is something such that the fact that the fact that it is a ponycart and it is not a ghillie is correct is incorrect. sent8: if something is not a kind of a ponycart the fact that it twills plier and is a ghillie is not true. sent9: something is a kind of a brachycephalic if it does encapsulate crudeness. sent10: the armhole does twill plier and it is a ghillie if there exists something such that it is a brachycephalic. sent11: something is a ponycart and is not allogamous. sent12: The polymyxin does not update plier. sent13: the armhole is a kind of a ghillie and it does update polymyxin. sent14: something does not last if it does not update polymyxin and it is a re-introduction.
sent14 -> int1: if the plier does not update polymyxin and is a re-introduction it is not a last.; sent6 & sent3 -> int2: the plier does not update polymyxin but it is a re-introduction.; int1 & int2 -> int3: that the plier is not a kind of a last is not incorrect.; int3 & sent2 -> int4: the fact that the nimbus is a ponycart but it is not allogamous is false.; int4 -> int5: there is something such that the fact that it is a ponycart but not allogamous is incorrect.; int5 & sent4 -> int6: the polymyxin encapsulates crudeness.; sent9 -> int7: the polymyxin is a brachycephalic if it encapsulates crudeness.; int6 & int7 -> int8: the polymyxin is brachycephalic.; int8 -> int9: there are brachycephalic things.; int9 & sent10 -> hypothesis;
the fact that that the armhole twills plier and is a kind of a ghillie hold does not hold.
sent8 -> int10: that that the armhole twills plier and it is a ghillie is correct does not hold if it is not a kind of a ponycart.;
$hypothesis$ = the armhole twills plier and is a ghillie. ; $context$ = sent1: the plier does not encapsulate crudeness. sent2: if the plier is not a kind of a last then the fact that the nimbus is a kind of a ponycart and is not allogamous is wrong. sent3: the plier is a re-introduction. sent4: the polymyxin encapsulates crudeness if there exists something such that the fact that it is a ponycart and it is not allogamous is not true. sent5: if there exists something such that the fact that it lasts and it does not encapsulate crudeness is false then the polymyxin is a ghillie. sent6: the plier does not update polymyxin. sent7: there is something such that the fact that the fact that it is a ponycart and it is not a ghillie is correct is incorrect. sent8: if something is not a kind of a ponycart the fact that it twills plier and is a ghillie is not true. sent9: something is a kind of a brachycephalic if it does encapsulate crudeness. sent10: the armhole does twill plier and it is a ghillie if there exists something such that it is a brachycephalic. sent11: something is a ponycart and is not allogamous. sent12: The polymyxin does not update plier. sent13: the armhole is a kind of a ghillie and it does update polymyxin. sent14: something does not last if it does not update polymyxin and it is a re-introduction. ; $proof$ = 
sent14 -> int1: if the plier does not update polymyxin and is a re-introduction it is not a last.; sent6 & sent3 -> int2: the plier does not update polymyxin but it is a re-introduction.; int1 & int2 -> int3: that the plier is not a kind of a last is not incorrect.; int3 & sent2 -> int4: the fact that the nimbus is a ponycart but it is not allogamous is false.; int4 -> int5: there is something such that the fact that it is a ponycart but not allogamous is incorrect.; int5 & sent4 -> int6: the polymyxin encapsulates crudeness.; sent9 -> int7: the polymyxin is a brachycephalic if it encapsulates crudeness.; int6 & int7 -> int8: the polymyxin is brachycephalic.; int8 -> int9: there are brachycephalic things.; int9 & sent10 -> hypothesis; __PROVED__