there exists something such that if it is not a lowland it is not a cardiomyopathy.
sent1: there is something such that if it is a lowland then it is not a kind of a cardiomyopathy. sent2: there exists something such that if it does not quarantine composure it does not broil plectognath. sent3: something is not an audio if that it is not lowland is true. sent4: there exists something such that if it does not quarantine composure then it does not quarantine havelock. sent5: the Mexican is not a Sutherland if it is not lowland. sent6: the Mexican is not no if it is not a kind of a public. sent7: if the youth-on-age is not a surfboard the fact that it is not a cardiomyopathy is correct. sent8: there exists something such that if it is not a gradual then it is not a surfboard. sent9: there exists something such that if it does not quarantine kangaroo's-foot it does not quarantine Gaul. sent10: the fact that there is something such that if it is not a Rosario it is a balance is not incorrect. sent11: that if the Mexican is not the lowland the Mexican is not a cardiomyopathy is correct. sent12: the fact that if the Mexican is not the Orion then the Mexican does not quarantine kangaroo's-foot is right. sent13: the kangaroo's-foot is a cardiomyopathy if it does not trample.
sent11 -> hypothesis;
if the uvula is not lowland then it is not a kind of an audio.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a lowland it is not a cardiomyopathy. ; $context$ = sent1: there is something such that if it is a lowland then it is not a kind of a cardiomyopathy. sent2: there exists something such that if it does not quarantine composure it does not broil plectognath. sent3: something is not an audio if that it is not lowland is true. sent4: there exists something such that if it does not quarantine composure then it does not quarantine havelock. sent5: the Mexican is not a Sutherland if it is not lowland. sent6: the Mexican is not no if it is not a kind of a public. sent7: if the youth-on-age is not a surfboard the fact that it is not a cardiomyopathy is correct. sent8: there exists something such that if it is not a gradual then it is not a surfboard. sent9: there exists something such that if it does not quarantine kangaroo's-foot it does not quarantine Gaul. sent10: the fact that there is something such that if it is not a Rosario it is a balance is not incorrect. sent11: that if the Mexican is not the lowland the Mexican is not a cardiomyopathy is correct. sent12: the fact that if the Mexican is not the Orion then the Mexican does not quarantine kangaroo's-foot is right. sent13: the kangaroo's-foot is a cardiomyopathy if it does not trample. ; $proof$ = 
sent11 -> hypothesis; __PROVED__