there exists something such that if it is rosaceous but not a Herculaneum it is a major.
sent1: there exists something such that if it is a Saginaw and it is caesural the fact that it is archosaurian is not false. sent2: if something is a kind of a smallholder and does not overgrow then it gins sandpit. sent3: if something that is chaetognathan does not reprise Echium it is commutable. sent4: the fact that the Edwardian majors is true if it is rosaceous and is not a Herculaneum. sent5: if the Edwardian is a Herculaneum but not holozoic it is commutable. sent6: the Edwardian is a major if it is rosaceous and it is a Herculaneum. sent7: there is something such that if it is rosaceous a Herculaneum then that it is a major is not false. sent8: if the fact that the Edwardian is a friendly and discriminates is not false then it majors. sent9: there exists something such that if it overgrows and is not a Saginaw it is a kind of a reciprocity.
sent4 -> hypothesis;
there is something such that if it is chaetognathan and it does not reprise Echium it is commutable.
sent3 -> int1: if the fenugreek is chaetognathan but it does not reprise Echium then it is commutable.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is rosaceous but not a Herculaneum it is a major. ; $context$ = sent1: there exists something such that if it is a Saginaw and it is caesural the fact that it is archosaurian is not false. sent2: if something is a kind of a smallholder and does not overgrow then it gins sandpit. sent3: if something that is chaetognathan does not reprise Echium it is commutable. sent4: the fact that the Edwardian majors is true if it is rosaceous and is not a Herculaneum. sent5: if the Edwardian is a Herculaneum but not holozoic it is commutable. sent6: the Edwardian is a major if it is rosaceous and it is a Herculaneum. sent7: there is something such that if it is rosaceous a Herculaneum then that it is a major is not false. sent8: if the fact that the Edwardian is a friendly and discriminates is not false then it majors. sent9: there exists something such that if it overgrows and is not a Saginaw it is a kind of a reciprocity. ; $proof$ = 
sent4 -> hypothesis; __PROVED__