there is something such that if that it exacerbates peopled does not hold then it does overwhelm gambist and it is not enteric.
sent1: something that does not exacerbate peopled does overwhelm gambist and is enteric. sent2: the buffer does overwhelm gambist but it is not enteric if it does exacerbate peopled. sent3: there is something such that if it does not exacerbate peopled it overwhelms gambist and it is enteric. sent4: there exists something such that if it does not exacerbate peopled that it overwhelms gambist hold. sent5: if that the buffer does not exacerbate peopled is true it does overwhelm gambist. sent6: if something does not exacerbate peopled then it does overwhelm gambist. sent7: the buffer overwhelms gambist and it is enteric if it does not exacerbate peopled. sent8: something overwhelms gambist and is not enteric if it does exacerbate peopled. sent9: there exists something such that if it does exacerbate peopled then it does overwhelm gambist and is not enteric.
$hypothesis$ = there is something such that if that it exacerbates peopled does not hold then it does overwhelm gambist and it is not enteric. ; $context$ = sent1: something that does not exacerbate peopled does overwhelm gambist and is enteric. sent2: the buffer does overwhelm gambist but it is not enteric if it does exacerbate peopled. sent3: there is something such that if it does not exacerbate peopled it overwhelms gambist and it is enteric. sent4: there exists something such that if it does not exacerbate peopled that it overwhelms gambist hold. sent5: if that the buffer does not exacerbate peopled is true it does overwhelm gambist. sent6: if something does not exacerbate peopled then it does overwhelm gambist. sent7: the buffer overwhelms gambist and it is enteric if it does not exacerbate peopled. sent8: something overwhelms gambist and is not enteric if it does exacerbate peopled. sent9: there exists something such that if it does exacerbate peopled then it does overwhelm gambist and is not enteric. ; $proof$ = 
__UNKNOWN__