there exists something such that if the fact that it is not a sailcloth and is not a giddiness does not hold it is not a rudderpost.
sent1: if the fact that the map is not a sailcloth and is not a giddiness is wrong then it is a kind of a rudderpost. sent2: there is something such that if it is a sailcloth then it is not a kind of a rudderpost. sent3: if that the fact that the map is not a sailcloth and not a giddiness is not true is correct it is not a kind of a rudderpost.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a sailcloth and is not a giddiness does not hold it is not a rudderpost. ; $context$ = sent1: if the fact that the map is not a sailcloth and is not a giddiness is wrong then it is a kind of a rudderpost. sent2: there is something such that if it is a sailcloth then it is not a kind of a rudderpost. sent3: if that the fact that the map is not a sailcloth and not a giddiness is not true is correct it is not a kind of a rudderpost. ; $proof$ = 
sent3 -> hypothesis; __PROVED__