there exists something such that if that it does not sleep epitaph and is not a gamma is wrong it is not octangular.
sent1: there is something such that if it does not sleep epitaph and it is not a kind of a gamma it is non-octangular. sent2: there exists something such that if it does sleep epitaph it is not octangular. sent3: if the naphtha does sleep epitaph it is non-octangular. sent4: if that something is not nonpolitical and is not pretentious does not hold then it is not a resident. sent5: if the fact that the naphtha does not sleep epitaph and it is not a gamma is not right the fact that it is not octangular is not wrong. sent6: there is something such that if it is a barbel the fact that it does not straighten is correct. sent7: there is something such that if that it does not prolong and it sleeps Elateridae is wrong that it does not apprehend is true.
sent5 -> hypothesis;
there is something such that if that it is both not nonpolitical and not pretentious is not true it is not a kind of a resident.
sent4 -> int1: if the fact that the fastnacht is not nonpolitical and is not pretentious is false it is nonresident.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not sleep epitaph and is not a gamma is wrong it is not octangular. ; $context$ = sent1: there is something such that if it does not sleep epitaph and it is not a kind of a gamma it is non-octangular. sent2: there exists something such that if it does sleep epitaph it is not octangular. sent3: if the naphtha does sleep epitaph it is non-octangular. sent4: if that something is not nonpolitical and is not pretentious does not hold then it is not a resident. sent5: if the fact that the naphtha does not sleep epitaph and it is not a gamma is not right the fact that it is not octangular is not wrong. sent6: there is something such that if it is a barbel the fact that it does not straighten is correct. sent7: there is something such that if that it does not prolong and it sleeps Elateridae is wrong that it does not apprehend is true. ; $proof$ = 
sent5 -> hypothesis; __PROVED__