the fact that there exists something such that if it is not a kind of a Riviera the fact that it despairs hatchback and it does despair Passifloraceae is false is incorrect.
sent1: there exists something such that if it is not katharobic that it is nosohusial and it is a kind of a Cordylidae does not hold. sent2: if something does not unspell papule then the fact that it is both avitaminotic and a Vetluga is wrong. sent3: the fact that the hatchback is a Riviera that is harmonious is false if it is a Megachiroptera. sent4: the fact that if the EBV does not habit Solresol then the EBV despairs Passifloraceae and it is a kind of a biquadratic is right. sent5: if the hatchback does not despair Passifloraceae then it despairs venture and is a biquadratic. sent6: there is something such that if it is not a beneficiary that it is glial and it is a Vetluga is not right. sent7: there is something such that if it closes the fact that it does despair Eburophyton and is a kind of a ribbonwood is not right. sent8: if the hatchback is not a Riviera then that it despairs hatchback and does despair Passifloraceae is not right. sent9: if that the locus does habit ophthalmoscope is incorrect it does unspell lion's-ear and is a kind of a demitasse. sent10: there is something such that if it is not a Megachiroptera it is a Allen and it is two-dimensional. sent11: there is something such that if it is a Timorese then the fact that it is a kind of an observer that swills is incorrect. sent12: the hatchback does despair hatchback and it does despair Passifloraceae if that it is not a kind of a Riviera hold. sent13: there exists something such that if that it is not a kind of a beneficiary is correct the fact that it transpires and it unspells palate is incorrect.
sent8 -> hypothesis;
there exists something such that if it does not unspell papule then that it is avitaminotic and it is a Vetluga does not hold.
sent2 -> int1: if the specifier does not unspell papule then the fact that it is not non-avitaminotic and is a Vetluga is incorrect.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a Riviera the fact that it despairs hatchback and it does despair Passifloraceae is false is incorrect. ; $context$ = sent1: there exists something such that if it is not katharobic that it is nosohusial and it is a kind of a Cordylidae does not hold. sent2: if something does not unspell papule then the fact that it is both avitaminotic and a Vetluga is wrong. sent3: the fact that the hatchback is a Riviera that is harmonious is false if it is a Megachiroptera. sent4: the fact that if the EBV does not habit Solresol then the EBV despairs Passifloraceae and it is a kind of a biquadratic is right. sent5: if the hatchback does not despair Passifloraceae then it despairs venture and is a biquadratic. sent6: there is something such that if it is not a beneficiary that it is glial and it is a Vetluga is not right. sent7: there is something such that if it closes the fact that it does despair Eburophyton and is a kind of a ribbonwood is not right. sent8: if the hatchback is not a Riviera then that it despairs hatchback and does despair Passifloraceae is not right. sent9: if that the locus does habit ophthalmoscope is incorrect it does unspell lion's-ear and is a kind of a demitasse. sent10: there is something such that if it is not a Megachiroptera it is a Allen and it is two-dimensional. sent11: there is something such that if it is a Timorese then the fact that it is a kind of an observer that swills is incorrect. sent12: the hatchback does despair hatchback and it does despair Passifloraceae if that it is not a kind of a Riviera hold. sent13: there exists something such that if that it is not a kind of a beneficiary is correct the fact that it transpires and it unspells palate is incorrect. ; $proof$ = 
sent8 -> hypothesis; __DISPROVED__