something is not a chance and does not brief strawboard.
sent1: that there exists something such that the fact that it chocks barnful and briefs Aix is not correct is right. sent2: if the brass does not brief Aix but it does finedraw beanball it does finedraw unsanitariness. sent3: there exists something such that it does chock brass and it is not a kind of a danewort. sent4: if there is something such that that it does not chock tweediness and it does batik does not hold the Italian does not chock barnful. sent5: if the squash does chock jetliner the Italian chocks barnful. sent6: there is something such that the fact that it does not chock tweediness and it is a kind of a batik is false. sent7: there exists something such that it does not chance and it does chock jetliner. sent8: if something does chock jetliner then the squash does not brief strawboard. sent9: if that the fact that the brass does not brief Aix but it does finedraw beanball is not incorrect is incorrect then the squash does chock jetliner.
void -> assump1: Let's assume that that the brass does not brief Aix and does finedraw beanball is not right.; sent9 & assump1 -> int1: the squash does chock jetliner.; int1 & sent5 -> int2: the Italian chocks barnful.; sent6 & sent4 -> int3: the Italian does not chock barnful.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brass does not brief Aix and finedraws beanball.; int5 & sent2 -> int6: the brass does finedraw unsanitariness.; int6 -> int7: something finedraws unsanitariness.;
$hypothesis$ = something is not a chance and does not brief strawboard. ; $context$ = sent1: that there exists something such that the fact that it chocks barnful and briefs Aix is not correct is right. sent2: if the brass does not brief Aix but it does finedraw beanball it does finedraw unsanitariness. sent3: there exists something such that it does chock brass and it is not a kind of a danewort. sent4: if there is something such that that it does not chock tweediness and it does batik does not hold the Italian does not chock barnful. sent5: if the squash does chock jetliner the Italian chocks barnful. sent6: there is something such that the fact that it does not chock tweediness and it is a kind of a batik is false. sent7: there exists something such that it does not chance and it does chock jetliner. sent8: if something does chock jetliner then the squash does not brief strawboard. sent9: if that the fact that the brass does not brief Aix but it does finedraw beanball is not incorrect is incorrect then the squash does chock jetliner. ; $proof$ = 
void -> assump1: Let's assume that that the brass does not brief Aix and does finedraw beanball is not right.; sent9 & assump1 -> int1: the squash does chock jetliner.; int1 & sent5 -> int2: the Italian chocks barnful.; sent6 & sent4 -> int3: the Italian does not chock barnful.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the brass does not brief Aix and finedraws beanball.; int5 & sent2 -> int6: the brass does finedraw unsanitariness.; int6 -> int7: something finedraws unsanitariness.; __UNKNOWN__