there exists something such that if the fact that it is not a kind of a angelim and it is not geothermal is false it is campylotropous.
sent1: if that something is not a Loasaceae and it is not a Herder is not true it is a murmur. sent2: the parsonage is campylotropous if it is both not a angelim and not geothermal. sent3: there is something such that if the fact that it does not redden Amerindian and it is a cyberart is not true it does shine brioche. sent4: if the fact that the parsonage is not a kind of a angelim and it is not geothermal is not correct then it is campylotropous.
sent4 -> hypothesis;
there is something such that if that it is both not a Loasaceae and not a Herder does not hold the fact that it does murmur hold.
sent1 -> int1: the cross-link is a murmur if that it is not a Loasaceae and is not a kind of a Herder is not right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a kind of a angelim and it is not geothermal is false it is campylotropous. ; $context$ = sent1: if that something is not a Loasaceae and it is not a Herder is not true it is a murmur. sent2: the parsonage is campylotropous if it is both not a angelim and not geothermal. sent3: there is something such that if the fact that it does not redden Amerindian and it is a cyberart is not true it does shine brioche. sent4: if the fact that the parsonage is not a kind of a angelim and it is not geothermal is not correct then it is campylotropous. ; $proof$ = 
sent4 -> hypothesis; __PROVED__