there is something such that if it is not an overtone then that it is both not a Selenicereus and a dysprosium is wrong.
sent1: if the shrink-wrap does not occult dive then it is not an overtone and does trice asphyxia. sent2: if something is not a hermaphrodite then that it is a kind of non-dioecious thing that does dim spectacular is not correct. sent3: there is something such that if the fact that it is not angiocarpic hold that it is joyful and it is a butanol is incorrect. sent4: that something is federal and it is suctorial is not right if it does not veil striatum. sent5: there exists something such that if it does trice agglomeration then the fact that it is not a kind of a borrower and it is a mendelevium does not hold. sent6: the fact that something is not a kind of a Selenicereus and is a dysprosium is false if it is not a kind of an overtone. sent7: there exists something such that if it is an eggnog that it is not hydric and it is an ending is incorrect. sent8: that there exists something such that if it does not dim shoji the fact that it is an engagement and trices flavivirus is incorrect is not wrong. sent9: if the dive is not a second it is not a kind of an overtone and is a full-of-the-moon.
sent6 -> int1: the fact that the shrink-wrap is not a Selenicereus but a dysprosium is false if it is not a kind of an overtone.; int1 -> hypothesis;
there is something such that if it is not a hermaphrodite the fact that it is non-dioecious thing that does dim spectacular is false.
sent2 -> int2: that the statice is non-dioecious thing that does dim spectacular is incorrect if it is not a hermaphrodite.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is not an overtone then that it is both not a Selenicereus and a dysprosium is wrong. ; $context$ = sent1: if the shrink-wrap does not occult dive then it is not an overtone and does trice asphyxia. sent2: if something is not a hermaphrodite then that it is a kind of non-dioecious thing that does dim spectacular is not correct. sent3: there is something such that if the fact that it is not angiocarpic hold that it is joyful and it is a butanol is incorrect. sent4: that something is federal and it is suctorial is not right if it does not veil striatum. sent5: there exists something such that if it does trice agglomeration then the fact that it is not a kind of a borrower and it is a mendelevium does not hold. sent6: the fact that something is not a kind of a Selenicereus and is a dysprosium is false if it is not a kind of an overtone. sent7: there exists something such that if it is an eggnog that it is not hydric and it is an ending is incorrect. sent8: that there exists something such that if it does not dim shoji the fact that it is an engagement and trices flavivirus is incorrect is not wrong. sent9: if the dive is not a second it is not a kind of an overtone and is a full-of-the-moon. ; $proof$ = 
sent6 -> int1: the fact that the shrink-wrap is not a Selenicereus but a dysprosium is false if it is not a kind of an overtone.; int1 -> hypothesis; __PROVED__