there is something such that if that it is not a Gopherus and it is a first-nighter is correct it is higher.
sent1: there exists something such that if it is a Gopherus that is a first-nighter it is higher. sent2: the hammock is higher if it is not a Gopherus and is a first-nighter.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if that it is not a Gopherus and it is a first-nighter is correct it is higher. ; $context$ = sent1: there exists something such that if it is a Gopherus that is a first-nighter it is higher. sent2: the hammock is higher if it is not a Gopherus and is a first-nighter. ; $proof$ = 
sent2 -> hypothesis; __PROVED__