there is something such that if it is not a fragment or it is non-immediate or both it does draw Occam.
sent1: there is something such that if it either does not blanch or is unpeaceful or both it boats. sent2: something that either does not draw gorgerin or does not facilitate or both is zenithal. sent3: there exists something such that if it does not fragment then it does draw Occam. sent4: if the albite is not a kind of a fragment or is not immediate or both it does draw Occam.
sent4 -> hypothesis;
there exists something such that if it either does not draw gorgerin or does not facilitate or both then it is zenithal.
sent2 -> int1: if the cleats does not draw gorgerin or it does not facilitate or both then it is zenithal.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a fragment or it is non-immediate or both it does draw Occam. ; $context$ = sent1: there is something such that if it either does not blanch or is unpeaceful or both it boats. sent2: something that either does not draw gorgerin or does not facilitate or both is zenithal. sent3: there exists something such that if it does not fragment then it does draw Occam. sent4: if the albite is not a kind of a fragment or is not immediate or both it does draw Occam. ; $proof$ = 
sent4 -> hypothesis; __PROVED__