there exists something such that if it is not a ISN it does complect worst.
sent1: if the puffball is not a kind of a ISN it does complect worst. sent2: there is something such that if it is not a silurid it is a saddlebill. sent3: something is a kind of a Higi if it is not hot. sent4: the choanocyte does complect worst if that it does heighten hold. sent5: there exists something such that if it is a ISN then it complects worst.
sent1 -> hypothesis;
there exists something such that if it is not hot it is a Higi.
sent3 -> int1: the squamule is a kind of a Higi if it is not hot.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a ISN it does complect worst. ; $context$ = sent1: if the puffball is not a kind of a ISN it does complect worst. sent2: there is something such that if it is not a silurid it is a saddlebill. sent3: something is a kind of a Higi if it is not hot. sent4: the choanocyte does complect worst if that it does heighten hold. sent5: there exists something such that if it is a ISN then it complects worst. ; $proof$ = 
sent1 -> hypothesis; __PROVED__