there exists something such that if it is not non-ropey it is both not a Gerea and not celebratory.
sent1: there is something such that if it is ropey it is not celebratory. sent2: if that the epigenesis is ropey is correct then it is a Gerea that is not celebratory. sent3: if the epigenesis is ropey it is not a kind of a Gerea and it is not celebratory.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is not non-ropey it is both not a Gerea and not celebratory. ; $context$ = sent1: there is something such that if it is ropey it is not celebratory. sent2: if that the epigenesis is ropey is correct then it is a Gerea that is not celebratory. sent3: if the epigenesis is ropey it is not a kind of a Gerea and it is not celebratory. ; $proof$ = 
sent3 -> hypothesis; __PROVED__