there exists something such that if the fact that it is not a subjectivity and is not a kind of a Tertiary is not true then that it fears papacy is incorrect.
sent1: there exists something such that if that it is not tetanic and repairs whitewater is false it is not female. sent2: there exists something such that if that it is a subjectivity and it is not a Tertiary does not hold it does not fear papacy. sent3: there exists something such that if that it is a Fremont and it is not a kind of a splashdown does not hold it does not fear viceroy. sent4: if that the pignut is not a subjectivity and it is not a kind of a Tertiary is wrong then it does not fear papacy. sent5: if that something is not inconsiderable and does not slump is wrong then it does not repair Cottus.
sent4 -> hypothesis;
there is something such that if the fact that it is non-inconsiderable thing that does not slump is wrong then it does not repair Cottus.
sent5 -> int1: if the fact that the fact that the depression is both not inconsiderable and not a slump is correct is wrong then it does not repair Cottus.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a subjectivity and is not a kind of a Tertiary is not true then that it fears papacy is incorrect. ; $context$ = sent1: there exists something such that if that it is not tetanic and repairs whitewater is false it is not female. sent2: there exists something such that if that it is a subjectivity and it is not a Tertiary does not hold it does not fear papacy. sent3: there exists something such that if that it is a Fremont and it is not a kind of a splashdown does not hold it does not fear viceroy. sent4: if that the pignut is not a subjectivity and it is not a kind of a Tertiary is wrong then it does not fear papacy. sent5: if that something is not inconsiderable and does not slump is wrong then it does not repair Cottus. ; $proof$ = 
sent4 -> hypothesis; __PROVED__