there exists something such that if it is non-diagonalizable it is cryonics.
sent1: there is something such that if it is unprintable then it suspends glamor. sent2: if something is not a Vigna that it is mutational hold. sent3: something is cryonics if the fact that it is not non-diagonalizable hold. sent4: the draftee is diagonalizable if it is not a Sharpie. sent5: if the fact that the belvedere is diagonalizable is not incorrect the fact that it is cryonics is correct. sent6: there exists something such that if it is a kind of an expressionist then it is Tudor. sent7: there exists something such that if it is a microfilm it is large-capitalization.
there exists something such that if it is not a Vigna then it is mutational.
sent2 -> int1: if the garmentmaker is not a Vigna it is mutational.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is non-diagonalizable it is cryonics. ; $context$ = sent1: there is something such that if it is unprintable then it suspends glamor. sent2: if something is not a Vigna that it is mutational hold. sent3: something is cryonics if the fact that it is not non-diagonalizable hold. sent4: the draftee is diagonalizable if it is not a Sharpie. sent5: if the fact that the belvedere is diagonalizable is not incorrect the fact that it is cryonics is correct. sent6: there exists something such that if it is a kind of an expressionist then it is Tudor. sent7: there exists something such that if it is a microfilm it is large-capitalization. ; $proof$ = 
__UNKNOWN__