the fact that there is something such that if it is a naphazoline it is not a hurrah does not hold.
sent1: that something is not pistillate is true if it is a virginal. sent2: there is something such that if it does squeal it is not spondaic. sent3: the bedstraw is not a kind of a hurrah if it is a kind of a naphazoline. sent4: there exists something such that if that it is a kind of a naphazoline hold then it does hurrah. sent5: the bedstraw is not a corpuscle if it is modest. sent6: if the bedstraw is a kind of a naphazoline then it does hurrah. sent7: there is something such that if it is a kind of a Cicadidae then it is a pascal.
sent3 -> hypothesis;
there exists something such that if it is a kind of a virginal it is not pistillate.
sent1 -> int1: the Chichewa is not pistillate if it is virginal.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a naphazoline it is not a hurrah does not hold. ; $context$ = sent1: that something is not pistillate is true if it is a virginal. sent2: there is something such that if it does squeal it is not spondaic. sent3: the bedstraw is not a kind of a hurrah if it is a kind of a naphazoline. sent4: there exists something such that if that it is a kind of a naphazoline hold then it does hurrah. sent5: the bedstraw is not a corpuscle if it is modest. sent6: if the bedstraw is a kind of a naphazoline then it does hurrah. sent7: there is something such that if it is a kind of a Cicadidae then it is a pascal. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__