the fact that that there exists something such that if it is not a pelter and it is curly then it is a kind of a punt is right is not right.
sent1: if the slob is not a kind of a pelter but it is curly it punts. sent2: there is something such that if it is not a Mandaeanism and it does stroke cuddle it is a kind of a Pneumovax. sent3: there exists something such that if it is both a pelter and curly it punts. sent4: the slob is a punt if it is a pelter and it is curly. sent5: the disbeliever does single imbalance if it is not a kind of a wordnet and it is not non-curly. sent6: there exists something such that if it does not bicycle Traubel and strokes cuddle then it is a kind of a Alismatidae.
sent1 -> hypothesis;
$hypothesis$ = the fact that that there exists something such that if it is not a pelter and it is curly then it is a kind of a punt is right is not right. ; $context$ = sent1: if the slob is not a kind of a pelter but it is curly it punts. sent2: there is something such that if it is not a Mandaeanism and it does stroke cuddle it is a kind of a Pneumovax. sent3: there exists something such that if it is both a pelter and curly it punts. sent4: the slob is a punt if it is a pelter and it is curly. sent5: the disbeliever does single imbalance if it is not a kind of a wordnet and it is not non-curly. sent6: there exists something such that if it does not bicycle Traubel and strokes cuddle then it is a kind of a Alismatidae. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__