there is something such that if the fact that it is not prehistoric and it is a sealed is wrong then it is uppercase.
sent1: if something is a kind of non-prehistoric thing that is a sealed it is uppercase. sent2: if that something is non-prehistoric thing that seals is incorrect then it is uppercase. sent3: if something is not a kind of a sealed then the fact that it is uppercase is not false. sent4: that the hermit is uppercase is not wrong if that it is non-unusual and a separateness is not correct. sent5: the fact that the bore is uppercase is right if that it is prehistoric and it is a sealed is not right. sent6: if the bore is not a kind of a sealed then it is uppercase. sent7: something is not non-uppercase if the fact that it is both prehistoric and a sealed does not hold. sent8: if that the bore is not prehistoric but it does dampen is false it is migrational.
sent2 -> int1: if the fact that the bore is not prehistoric but it is a kind of a sealed is not correct the fact that it is uppercase is correct.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not prehistoric and it is a sealed is wrong then it is uppercase. ; $context$ = sent1: if something is a kind of non-prehistoric thing that is a sealed it is uppercase. sent2: if that something is non-prehistoric thing that seals is incorrect then it is uppercase. sent3: if something is not a kind of a sealed then the fact that it is uppercase is not false. sent4: that the hermit is uppercase is not wrong if that it is non-unusual and a separateness is not correct. sent5: the fact that the bore is uppercase is right if that it is prehistoric and it is a sealed is not right. sent6: if the bore is not a kind of a sealed then it is uppercase. sent7: something is not non-uppercase if the fact that it is both prehistoric and a sealed does not hold. sent8: if that the bore is not prehistoric but it does dampen is false it is migrational. ; $proof$ = 
sent2 -> int1: if the fact that the bore is not prehistoric but it is a kind of a sealed is not correct the fact that it is uppercase is correct.; int1 -> hypothesis; __PROVED__