there is something such that if it is not a Elmont then the fact that it is a kind of a Odessa and it is a Austrocedrus does not hold.
sent1: the fact that something is a Odessa and it is a kind of a Austrocedrus is wrong if it is not a Elmont. sent2: there exists something such that if it is a junior then that it is argumentative thing that is rocky does not hold. sent3: the fact that something does bone inoculant and is intrapulmonary is not right if it is earthen. sent4: there is something such that if it is Lincolnesque that it is unknown and is Paleozoic is not correct.
sent1 -> int1: the fact that the Sumatran is a Odessa and it is a Austrocedrus is wrong if it is not a kind of a Elmont.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Elmont then the fact that it is a kind of a Odessa and it is a Austrocedrus does not hold. ; $context$ = sent1: the fact that something is a Odessa and it is a kind of a Austrocedrus is wrong if it is not a Elmont. sent2: there exists something such that if it is a junior then that it is argumentative thing that is rocky does not hold. sent3: the fact that something does bone inoculant and is intrapulmonary is not right if it is earthen. sent4: there is something such that if it is Lincolnesque that it is unknown and is Paleozoic is not correct. ; $proof$ = 
sent1 -> int1: the fact that the Sumatran is a Odessa and it is a Austrocedrus is wrong if it is not a kind of a Elmont.; int1 -> hypothesis; __PROVED__