there exists something such that if it is tannic then it is not cyanobacterial.
sent1: if something is tannic then it is not cyanobacterial. sent2: there is something such that if it is tannic it is cyanobacterial. sent3: there is something such that if that it is unaware is correct then it is not a Gambian. sent4: if something is tannic it is cyanobacterial. sent5: the perithecium is not a kind of a perchloride if it is unaware. sent6: something is not a opportuneness if it is a kind of an anisette. sent7: there is something such that if it glitters then it does not heap umbel. sent8: the perithecium is cyanobacterial if it is tannic.
sent1 -> int1: if the perithecium is tannic then it is not cyanobacterial.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is tannic then it is not cyanobacterial. ; $context$ = sent1: if something is tannic then it is not cyanobacterial. sent2: there is something such that if it is tannic it is cyanobacterial. sent3: there is something such that if that it is unaware is correct then it is not a Gambian. sent4: if something is tannic it is cyanobacterial. sent5: the perithecium is not a kind of a perchloride if it is unaware. sent6: something is not a opportuneness if it is a kind of an anisette. sent7: there is something such that if it glitters then it does not heap umbel. sent8: the perithecium is cyanobacterial if it is tannic. ; $proof$ = 
sent1 -> int1: if the perithecium is tannic then it is not cyanobacterial.; int1 -> hypothesis; __PROVED__