that there is something such that if it mists it is not a kind of a Gobi and it is frictional is not correct.
sent1: something does not default selection but it marvels vine if it is not non-umbilical. sent2: the ocotillo is not a Gobi but it is frictional if it is a mist. sent3: there is something such that if it does respect Rachel it is not a handlebar and is a kind of a sage. sent4: there exists something such that if it does mist then it is a Gobi that is frictional.
sent2 -> hypothesis;
there exists something such that if it is umbilical it does not default selection and marvels vine.
sent1 -> int1: if the fetterbush is an umbilical it does not default selection and does marvel vine.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it mists it is not a kind of a Gobi and it is frictional is not correct. ; $context$ = sent1: something does not default selection but it marvels vine if it is not non-umbilical. sent2: the ocotillo is not a Gobi but it is frictional if it is a mist. sent3: there is something such that if it does respect Rachel it is not a handlebar and is a kind of a sage. sent4: there exists something such that if it does mist then it is a Gobi that is frictional. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__