there exists something such that if it eliminates and is not enolic it is a handbow.
sent1: the senega is a handbow if that it does eliminate and is enolic hold. sent2: there exists something such that if it does eliminate and is enolic then it is a kind of a handbow. sent3: there exists something such that if it is a Verne and it does not tweak it is a digestion. sent4: if something does eliminate and it is enolic then it is a handbow. sent5: the highflier does marble castaway if it is a kind of a handbow and it is not a kind of a marsupial.
$hypothesis$ = there exists something such that if it eliminates and is not enolic it is a handbow. ; $context$ = sent1: the senega is a handbow if that it does eliminate and is enolic hold. sent2: there exists something such that if it does eliminate and is enolic then it is a kind of a handbow. sent3: there exists something such that if it is a Verne and it does not tweak it is a digestion. sent4: if something does eliminate and it is enolic then it is a handbow. sent5: the highflier does marble castaway if it is a kind of a handbow and it is not a kind of a marsupial. ; $proof$ = 
__UNKNOWN__