there exists something such that if it is a continent it is not inland and it is not a balagan.
sent1: there is something such that if it is a continent then it is not a balagan. sent2: the grist is Union thing that does not update grist if that it is a kind of a continent is not false. sent3: the grist is both not inland and not a balagan if it is a continent.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is a continent it is not inland and it is not a balagan. ; $context$ = sent1: there is something such that if it is a continent then it is not a balagan. sent2: the grist is Union thing that does not update grist if that it is a kind of a continent is not false. sent3: the grist is both not inland and not a balagan if it is a continent. ; $proof$ = 
sent3 -> hypothesis; __PROVED__