something is a Shona and it is a Dutch.
sent1: that the viscometer is articular thing that is a Dutch is not false if it is not a Shona. sent2: there exists something such that it is both a grimace and patriotic. sent3: something is a Chancellor and it is a Mongolian. sent4: the viscometer is a kind of a Dutch if something grimaces and is not patriotic. sent5: there exists something such that it is a narrow-mindedness. sent6: there is something such that it is a grimace and it is not patriotic. sent7: if the fact that the viscometer is not a squeamishness and not a Shona is not correct it is a Shona.
sent6 & sent4 -> int1: the viscometer is not non-Dutch.;
there exists something such that it is both not non-articular and unpopular.
$hypothesis$ = something is a Shona and it is a Dutch. ; $context$ = sent1: that the viscometer is articular thing that is a Dutch is not false if it is not a Shona. sent2: there exists something such that it is both a grimace and patriotic. sent3: something is a Chancellor and it is a Mongolian. sent4: the viscometer is a kind of a Dutch if something grimaces and is not patriotic. sent5: there exists something such that it is a narrow-mindedness. sent6: there is something such that it is a grimace and it is not patriotic. sent7: if the fact that the viscometer is not a squeamishness and not a Shona is not correct it is a Shona. ; $proof$ = 
sent6 & sent4 -> int1: the viscometer is not non-Dutch.; __UNKNOWN__