the encainide is a classical.
sent1: if the redshift does unspell homophone the fact that the stonewort unspells tenderization is right. sent2: if something that is not a kind of a buddy is not wigless it does not unspell locule. sent3: either the encainide does not rustle unrestraint or it is not a classical or both. sent4: something is not a buddy and it is not wigless if it does unspell tenderization. sent5: if the stonewort does not unspell locule then the fratricide does rustle excerpt and it is bubonic. sent6: The imprisonment does not despair encainide. sent7: the fact that the encainide does not rustle excerpt is right if the fratricide rustle excerpt. sent8: if the fact that something unplugs and does not despair imprisonment does not hold it is nonclassical. sent9: if something does not rustle excerpt then that it does unplug and it does not despair imprisonment is not correct. sent10: if that the encainide is classical is not correct then it is aesthetic. sent11: if something does not despair imprisonment and/or does not unplug then it is a classical. sent12: either the ricin is not guilty or it is classical or both. sent13: either everything does unspell homophone or it unspells tenderization or both. sent14: something does not unplug or does not despair nightmare or both if that it does despair imprisonment hold.
sent11 -> int1: the encainide is a classical if it does not despair imprisonment and/or it does not unplug.;
the encainide is not a kind of a classical.
sent8 -> int2: if that the encainide unplugs but it does not despair imprisonment does not hold it is not a kind of a classical.; sent9 -> int3: the fact that the encainide unplugs and does not despair imprisonment is not true if it does not rustle excerpt.; sent2 -> int4: the stonewort does not unspell locule if it is not a kind of a buddy and is not wigless.; sent4 -> int5: if the stonewort unspells tenderization then it is not a buddy and it is not wigless.; sent13 -> int6: the redshift does unspell homophone and/or does unspell tenderization.;
$hypothesis$ = the encainide is a classical. ; $context$ = sent1: if the redshift does unspell homophone the fact that the stonewort unspells tenderization is right. sent2: if something that is not a kind of a buddy is not wigless it does not unspell locule. sent3: either the encainide does not rustle unrestraint or it is not a classical or both. sent4: something is not a buddy and it is not wigless if it does unspell tenderization. sent5: if the stonewort does not unspell locule then the fratricide does rustle excerpt and it is bubonic. sent6: The imprisonment does not despair encainide. sent7: the fact that the encainide does not rustle excerpt is right if the fratricide rustle excerpt. sent8: if the fact that something unplugs and does not despair imprisonment does not hold it is nonclassical. sent9: if something does not rustle excerpt then that it does unplug and it does not despair imprisonment is not correct. sent10: if that the encainide is classical is not correct then it is aesthetic. sent11: if something does not despair imprisonment and/or does not unplug then it is a classical. sent12: either the ricin is not guilty or it is classical or both. sent13: either everything does unspell homophone or it unspells tenderization or both. sent14: something does not unplug or does not despair nightmare or both if that it does despair imprisonment hold. ; $proof$ = 
sent11 -> int1: the encainide is a classical if it does not despair imprisonment and/or it does not unplug.; __UNKNOWN__