that the Wright is not a Pareto but it is a kind of an irregular is incorrect.
sent1: there exists something such that it is not a kind of a craton. sent2: the highboard is an irregular if the bevel is airworthy. sent3: the Wright is both not a Pareto and an irregular if the highboard is a kind of an irregular. sent4: if something is unairworthy then it is a kind of a craton. sent5: the highboard is not non-irregular if the fact that the bevel is unairworthy and not a notary is incorrect. sent6: that the bevel is not airworthy but it is not a notary does not hold if there exists something such that it is not a kind of a craton. sent7: that the Wright is both not myopathic and a topaz if the bevel is a kind of a craton is correct.
sent1 & sent6 -> int1: that the bevel is unairworthy and is not a notary is not right.; sent5 & int1 -> int2: that the highboard is an irregular is right.; sent3 & int2 -> hypothesis;
the Wright is non-myopathic thing that is a kind of a topaz.
sent4 -> int3: if the bevel is unairworthy it is a craton.;
$hypothesis$ = that the Wright is not a Pareto but it is a kind of an irregular is incorrect. ; $context$ = sent1: there exists something such that it is not a kind of a craton. sent2: the highboard is an irregular if the bevel is airworthy. sent3: the Wright is both not a Pareto and an irregular if the highboard is a kind of an irregular. sent4: if something is unairworthy then it is a kind of a craton. sent5: the highboard is not non-irregular if the fact that the bevel is unairworthy and not a notary is incorrect. sent6: that the bevel is not airworthy but it is not a notary does not hold if there exists something such that it is not a kind of a craton. sent7: that the Wright is both not myopathic and a topaz if the bevel is a kind of a craton is correct. ; $proof$ = 
sent1 & sent6 -> int1: that the bevel is unairworthy and is not a notary is not right.; sent5 & int1 -> int2: that the highboard is an irregular is right.; sent3 & int2 -> hypothesis; __DISPROVED__