there exists something such that if it is not a brotherhood it slimes aide-memoire and does not extend viewer.
sent1: something is centripetal but it is not downstream if it is turbinate. sent2: that something does slime aide-memoire and does not extend viewer hold if it is not a brotherhood.
sent2 -> int1: if the viewer is not a brotherhood it does slime aide-memoire and does not extend viewer.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a brotherhood it slimes aide-memoire and does not extend viewer. ; $context$ = sent1: something is centripetal but it is not downstream if it is turbinate. sent2: that something does slime aide-memoire and does not extend viewer hold if it is not a brotherhood. ; $proof$ = 
sent2 -> int1: if the viewer is not a brotherhood it does slime aide-memoire and does not extend viewer.; int1 -> hypothesis; __PROVED__