there exists something such that if it is not a transmigration and is vicinal then it is not a digest.
sent1: the Mercer is not a digest if it is both a transmigration and vicinal. sent2: there exists something such that if it is not a kind of a transmigration and is vicinal then the fact that it digests hold. sent3: there exists something such that if it is both not a pick and postural then it does not embrown fug. sent4: if the Mercer is not a transmigration but it is vicinal then it is a kind of a digest. sent5: if something that is not a transmigration is vicinal it does digest.
$hypothesis$ = there exists something such that if it is not a transmigration and is vicinal then it is not a digest. ; $context$ = sent1: the Mercer is not a digest if it is both a transmigration and vicinal. sent2: there exists something such that if it is not a kind of a transmigration and is vicinal then the fact that it digests hold. sent3: there exists something such that if it is both not a pick and postural then it does not embrown fug. sent4: if the Mercer is not a transmigration but it is vicinal then it is a kind of a digest. sent5: if something that is not a transmigration is vicinal it does digest. ; $proof$ = 
__UNKNOWN__