either the crack exempts cashed or it is unnecessary or both.
sent1: something describes machinist. sent2: if there exists something such that it is stagflationary the rya does not exempt cashed and describes machinist. sent3: the crack is allowable. sent4: if the fact that the crack is a kind of a WAC but it is not glottochronological is true then it is unnecessary. sent5: there exists something such that it does not describe machinist. sent6: everything is a WAC and allowable. sent7: the tagger is not non-allowable if the samosa is glottochronological. sent8: if the fact that the crack does describe machinist and is glottochronological is not correct it is glottochronological. sent9: everything is allowable. sent10: that the crack does describe machinist and it is glottochronological does not hold if there is something such that that it does not describe machinist is correct. sent11: something is stagflationary. sent12: that something does exempt cashed or it is unnecessary or both is false if it is not a WAC.
sent6 -> int1: the crack is both a WAC and allowable.; int1 -> int2: the crack is a WAC.; sent5 & sent10 -> int3: that the crack describes machinist and is glottochronological is not right.; sent8 & int3 -> int4: the crack is not glottochronological.; int2 & int4 -> int5: the crack is a WAC that is not glottochronological.; int5 & sent4 -> int6: that the crack is not unnecessary is incorrect.; int6 -> hypothesis;
the fact that either the crack exempts cashed or it is unnecessary or both is not true.
sent12 -> int7: the fact that the crack exempts cashed or is unnecessary or both does not hold if the fact that it is not a kind of a WAC is not false.;
$hypothesis$ = either the crack exempts cashed or it is unnecessary or both. ; $context$ = sent1: something describes machinist. sent2: if there exists something such that it is stagflationary the rya does not exempt cashed and describes machinist. sent3: the crack is allowable. sent4: if the fact that the crack is a kind of a WAC but it is not glottochronological is true then it is unnecessary. sent5: there exists something such that it does not describe machinist. sent6: everything is a WAC and allowable. sent7: the tagger is not non-allowable if the samosa is glottochronological. sent8: if the fact that the crack does describe machinist and is glottochronological is not correct it is glottochronological. sent9: everything is allowable. sent10: that the crack does describe machinist and it is glottochronological does not hold if there is something such that that it does not describe machinist is correct. sent11: something is stagflationary. sent12: that something does exempt cashed or it is unnecessary or both is false if it is not a WAC. ; $proof$ = 
sent6 -> int1: the crack is both a WAC and allowable.; int1 -> int2: the crack is a WAC.; sent5 & sent10 -> int3: that the crack describes machinist and is glottochronological is not right.; sent8 & int3 -> int4: the crack is not glottochronological.; int2 & int4 -> int5: the crack is a WAC that is not glottochronological.; int5 & sent4 -> int6: that the crack is not unnecessary is incorrect.; int6 -> hypothesis; __PROVED__