there exists something such that if it is a precipitate then it blazes.
sent1: a aphelion is a kind of a Northrop. sent2: if the storeroom is a precipitate it is a blaze. sent3: if the Cambodian is a kind of a blaze then it bestrews histology. sent4: there is something such that if that it is a kind of a tramontane is true it brooms Wroclaw. sent5: if the cullis is a blaze it is a joint. sent6: the storeroom is reptilian if it is a revocation.
sent2 -> hypothesis;
there exists something such that if it is a aphelion then it is a Northrop.
sent1 -> int1: the puller is a Northrop if it is a aphelion.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a precipitate then it blazes. ; $context$ = sent1: a aphelion is a kind of a Northrop. sent2: if the storeroom is a precipitate it is a blaze. sent3: if the Cambodian is a kind of a blaze then it bestrews histology. sent4: there is something such that if that it is a kind of a tramontane is true it brooms Wroclaw. sent5: if the cullis is a blaze it is a joint. sent6: the storeroom is reptilian if it is a revocation. ; $proof$ = 
sent2 -> hypothesis; __PROVED__