either the stopover does not negotiate goldenbush or it is not arteriolar or both.
sent1: the goldenbush is not arteriolar or it does not negotiate goldenbush or both. sent2: either the stopover does not negotiate goldenbush or it is not arteriolar or both if the goldenbush negotiate goldenbush. sent3: the goldenbush negotiates goldenbush if there is something such that that it is not statistical and it is not double does not hold.
$hypothesis$ = either the stopover does not negotiate goldenbush or it is not arteriolar or both. ; $context$ = sent1: the goldenbush is not arteriolar or it does not negotiate goldenbush or both. sent2: either the stopover does not negotiate goldenbush or it is not arteriolar or both if the goldenbush negotiate goldenbush. sent3: the goldenbush negotiates goldenbush if there is something such that that it is not statistical and it is not double does not hold. ; $proof$ = 
__UNKNOWN__