the compatriot is not a kind of a prodigal.
sent1: the lover is not a kind of a dais. sent2: if that something is not a dais is right it is a nonequivalence and it is not off-line. sent3: everything bethinks VIP. sent4: the repression does not edge semibreve. sent5: if something does not edge semibreve then it is a dais and is a prodigal. sent6: the Yoruba does edge semibreve and it does bethink VIP if the fact that the compatriot does not accomplish hold. sent7: the compatriot is a kind of a nonequivalence that is not a prodigal if the Yoruba does not edge semibreve. sent8: if the lover is not a dais then that the Yoruba is not a preceptorship and it does not edge regur is not true. sent9: everything is a kind of a nonequivalence. sent10: if the compatriot is not biomedical it does not accomplish. sent11: if that something does not edge semibreve and is not a prodigal does not hold it does not edge regur. sent12: the horsetail is not a dais if the lover is a dais but it is not a kind of a prodigal. sent13: if the lover is Puranic it is not beneficent.
sent8 & sent1 -> int1: the fact that the Yoruba is not a kind of a preceptorship and it does not edge regur is incorrect.;
the compatriot is a prodigal.
sent5 -> int2: the compatriot is a dais and a prodigal if it does not edge semibreve.; sent3 -> int3: the lover bethinks VIP.; sent9 -> int4: the lover is a nonequivalence.; int3 & int4 -> int5: the lover bethinks VIP and it is a nonequivalence.; int5 -> int6: everything does bethink VIP and it is a nonequivalence.; int6 -> int7: the compatriot bethinks VIP and is a nonequivalence.;
$hypothesis$ = the compatriot is not a kind of a prodigal. ; $context$ = sent1: the lover is not a kind of a dais. sent2: if that something is not a dais is right it is a nonequivalence and it is not off-line. sent3: everything bethinks VIP. sent4: the repression does not edge semibreve. sent5: if something does not edge semibreve then it is a dais and is a prodigal. sent6: the Yoruba does edge semibreve and it does bethink VIP if the fact that the compatriot does not accomplish hold. sent7: the compatriot is a kind of a nonequivalence that is not a prodigal if the Yoruba does not edge semibreve. sent8: if the lover is not a dais then that the Yoruba is not a preceptorship and it does not edge regur is not true. sent9: everything is a kind of a nonequivalence. sent10: if the compatriot is not biomedical it does not accomplish. sent11: if that something does not edge semibreve and is not a prodigal does not hold it does not edge regur. sent12: the horsetail is not a dais if the lover is a dais but it is not a kind of a prodigal. sent13: if the lover is Puranic it is not beneficent. ; $proof$ = 
sent8 & sent1 -> int1: the fact that the Yoruba is not a kind of a preceptorship and it does not edge regur is incorrect.; __UNKNOWN__