there exists something such that if it is a raffia then it is a harridan and it is not eonian.
sent1: the fact that there is something such that if it is a kind of a raffia it is a harridan is correct. sent2: there is something such that if it is a kind of a raffia then it is not eonian. sent3: that the Luxemburger is a kind of a harridan that is not eonian is correct if it is a raffia. sent4: there exists something such that if it is a raffia then it is a harridan and eonian. sent5: if something does scale then it stales mythologist and does not reign copyreader. sent6: if the classic is a kind of a credulity then it is a kind of piscine thing that is not normative. sent7: the Luxemburger is not eonian if it is a raffia.
sent3 -> hypothesis;
there exists something such that if that it is a kind of a scale hold the fact that it does stale mythologist and does not reign copyreader is not incorrect.
sent5 -> int1: the bass does stale mythologist but it does not reign copyreader if it is a scale.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a raffia then it is a harridan and it is not eonian. ; $context$ = sent1: the fact that there is something such that if it is a kind of a raffia it is a harridan is correct. sent2: there is something such that if it is a kind of a raffia then it is not eonian. sent3: that the Luxemburger is a kind of a harridan that is not eonian is correct if it is a raffia. sent4: there exists something such that if it is a raffia then it is a harridan and eonian. sent5: if something does scale then it stales mythologist and does not reign copyreader. sent6: if the classic is a kind of a credulity then it is a kind of piscine thing that is not normative. sent7: the Luxemburger is not eonian if it is a raffia. ; $proof$ = 
sent3 -> hypothesis; __PROVED__