there exists something such that if the fact that it does not greet Sclerotium and censors does not hold the fact that it does not greet alewife is right.
sent1: if that something does not greet Sclerotium but it is a kind of a censor is incorrect then it does not greet alewife. sent2: there is something such that if it does not greet Sclerotium and censors then it does not greet alewife. sent3: if the fact that something greets Sclerotium and censors is not correct then it does not greet alewife. sent4: something is not cyclic if the fact that it is not an orator but a EU does not hold. sent5: if that something is not a odonate and is a Cybele is incorrect then it is not a bottomed. sent6: the alewife does not greet alewife if the fact that it greets Sclerotium and it is a censor is not right. sent7: there is something such that if that it does greet Sclerotium and it is a censor is not true then it does not greet alewife.
sent1 -> int1: if the fact that the alewife does not greet Sclerotium but it does censor is not correct that it does not greet alewife is correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not greet Sclerotium and censors does not hold the fact that it does not greet alewife is right. ; $context$ = sent1: if that something does not greet Sclerotium but it is a kind of a censor is incorrect then it does not greet alewife. sent2: there is something such that if it does not greet Sclerotium and censors then it does not greet alewife. sent3: if the fact that something greets Sclerotium and censors is not correct then it does not greet alewife. sent4: something is not cyclic if the fact that it is not an orator but a EU does not hold. sent5: if that something is not a odonate and is a Cybele is incorrect then it is not a bottomed. sent6: the alewife does not greet alewife if the fact that it greets Sclerotium and it is a censor is not right. sent7: there is something such that if that it does greet Sclerotium and it is a censor is not true then it does not greet alewife. ; $proof$ = 
sent1 -> int1: if the fact that the alewife does not greet Sclerotium but it does censor is not correct that it does not greet alewife is correct.; int1 -> hypothesis; __PROVED__