there exists something such that if that it is a Ernst that is not macrobiotic is not right it is not Gibraltarian.
sent1: there is something such that if it is a Ernst and it is not macrobiotic then it is not a kind of a Gibraltarian. sent2: the hart's-tongue is a kind of a Gibraltarian if that it is a kind of a Ernst and it is not macrobiotic is not right. sent3: there is something such that if it is not a Ernst then it is not a Gibraltarian. sent4: if the hart's-tongue is a Ernst that is not macrobiotic it is not a kind of a Gibraltarian. sent5: there exists something such that if that it is a kind of a Ernst and it is not macrobiotic does not hold then it is a Gibraltarian. sent6: there is something such that if it does investigate bale then that it is not a kind of a appareled is not incorrect. sent7: that the hart's-tongue is not a corticosteroid is not incorrect if that it is a Ernst and it is not a bonduc is not correct. sent8: if the fact that the hart's-tongue is a Ernst and is not macrobiotic does not hold then it is not a Gibraltarian. sent9: if that the hart's-tongue is not a kind of a Ernst is true it is not a Gibraltarian. sent10: the fact that the hart's-tongue is not a Gibraltarian is not wrong if that it is a Ernst that is macrobiotic is false. sent11: there exists something such that if the fact that that it is a Ernst and it is macrobiotic is true is false it is not a Gibraltarian. sent12: something is not a kind of a Ernst if the fact that it is a thought and is not a peanuts is not correct.
sent8 -> hypothesis;
if the fact that that the cybernaut thinks but it is not a kind of a peanuts is right is incorrect then it is not a Ernst.
sent12 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a Ernst that is not macrobiotic is not right it is not Gibraltarian. ; $context$ = sent1: there is something such that if it is a Ernst and it is not macrobiotic then it is not a kind of a Gibraltarian. sent2: the hart's-tongue is a kind of a Gibraltarian if that it is a kind of a Ernst and it is not macrobiotic is not right. sent3: there is something such that if it is not a Ernst then it is not a Gibraltarian. sent4: if the hart's-tongue is a Ernst that is not macrobiotic it is not a kind of a Gibraltarian. sent5: there exists something such that if that it is a kind of a Ernst and it is not macrobiotic does not hold then it is a Gibraltarian. sent6: there is something such that if it does investigate bale then that it is not a kind of a appareled is not incorrect. sent7: that the hart's-tongue is not a corticosteroid is not incorrect if that it is a Ernst and it is not a bonduc is not correct. sent8: if the fact that the hart's-tongue is a Ernst and is not macrobiotic does not hold then it is not a Gibraltarian. sent9: if that the hart's-tongue is not a kind of a Ernst is true it is not a Gibraltarian. sent10: the fact that the hart's-tongue is not a Gibraltarian is not wrong if that it is a Ernst that is macrobiotic is false. sent11: there exists something such that if the fact that that it is a Ernst and it is macrobiotic is true is false it is not a Gibraltarian. sent12: something is not a kind of a Ernst if the fact that it is a thought and is not a peanuts is not correct. ; $proof$ = 
sent8 -> hypothesis; __PROVED__