there is something such that if it is not universalistic then it is not purgatorial and it gripes faun.
sent1: something is not exoteric and is a kind of a maiden if it is not a clearing. sent2: if the stover is not universalistic then it is not purgatorial and does gripe faun.
sent2 -> hypothesis;
there is something such that if it is non-clearing then it is not exoteric and it is a maiden.
sent1 -> int1: if the brickwork is not clearing it is not exoteric and it is a maiden.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not universalistic then it is not purgatorial and it gripes faun. ; $context$ = sent1: something is not exoteric and is a kind of a maiden if it is not a clearing. sent2: if the stover is not universalistic then it is not purgatorial and does gripe faun. ; $proof$ = 
sent2 -> hypothesis; __PROVED__