there exists something such that if it does not bestrew keratoplasty and it is a synset then it is not a Menotyphla.
sent1: there is something such that if it is not a register and it is a dame then it is catadromous. sent2: if something that does not bestrew keratoplasty is a kind of a synset it is not a kind of a Menotyphla. sent3: there exists something such that if it is papillate and is a hitch it is not a kind of a fascist. sent4: there exists something such that if it is a blazer and it does encrimson rockery it does not broom withholder. sent5: if something does not bestrew keratoplasty but it is a synset the fact that it is a Menotyphla hold. sent6: if a non-selfish thing does pander it is not a busybody. sent7: if something is non-deconstructionist thing that does circumscribe thill it bestrews wife.
sent2 -> int1: if the tagger does not bestrew keratoplasty and is a synset then it is not a Menotyphla.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not bestrew keratoplasty and it is a synset then it is not a Menotyphla. ; $context$ = sent1: there is something such that if it is not a register and it is a dame then it is catadromous. sent2: if something that does not bestrew keratoplasty is a kind of a synset it is not a kind of a Menotyphla. sent3: there exists something such that if it is papillate and is a hitch it is not a kind of a fascist. sent4: there exists something such that if it is a blazer and it does encrimson rockery it does not broom withholder. sent5: if something does not bestrew keratoplasty but it is a synset the fact that it is a Menotyphla hold. sent6: if a non-selfish thing does pander it is not a busybody. sent7: if something is non-deconstructionist thing that does circumscribe thill it bestrews wife. ; $proof$ = 
sent2 -> int1: if the tagger does not bestrew keratoplasty and is a synset then it is not a Menotyphla.; int1 -> hypothesis; __PROVED__