there is something such that if it does not add broodmare and/or it does not severalize lanthanum then it is atrial.
sent1: the fact that if the Xhosa is not social and/or does not add broodmare the Xhosa is cardiopulmonary hold. sent2: there is something such that if it does not severalize lanthanum it is atrial. sent3: the checkrein does add broodmare if it is not a Soleidae or not alliaceous or both. sent4: there exists something such that if it adds broodmare or does not severalize lanthanum or both then it is atrial. sent5: if the checkrein does not add broodmare or it does not severalize lanthanum or both then it is atrial. sent6: the checkrein is atrial if it does not severalize lanthanum. sent7: the checkrein is atrial if it adds broodmare and/or does not severalize lanthanum. sent8: the greengrocery is a voluntary if it is not a barilla and/or it does not severalize lanthanum.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it does not add broodmare and/or it does not severalize lanthanum then it is atrial. ; $context$ = sent1: the fact that if the Xhosa is not social and/or does not add broodmare the Xhosa is cardiopulmonary hold. sent2: there is something such that if it does not severalize lanthanum it is atrial. sent3: the checkrein does add broodmare if it is not a Soleidae or not alliaceous or both. sent4: there exists something such that if it adds broodmare or does not severalize lanthanum or both then it is atrial. sent5: if the checkrein does not add broodmare or it does not severalize lanthanum or both then it is atrial. sent6: the checkrein is atrial if it does not severalize lanthanum. sent7: the checkrein is atrial if it adds broodmare and/or does not severalize lanthanum. sent8: the greengrocery is a voluntary if it is not a barilla and/or it does not severalize lanthanum. ; $proof$ = 
sent5 -> hypothesis; __PROVED__