the fact that there exists something such that if it is not a krait and it is not a kind of a disfluency then it is heterocercal does not hold.
sent1: there exists something such that if it does not nail crapaud and is not congregational it does commit. sent2: if the crapaud is both not a krait and not a disfluency then it is heterocercal. sent3: there is something such that if it is not a jugular and it is a pheasant's-eye then it is Ibsenian. sent4: there is something such that if it simmers and it is not creedal then it schemes. sent5: there exists something such that if it does not snuffle rebirth and it is not seamanlike then it is a yardman. sent6: the crapaud is a kind of a Augustinian if it is anaphylactic thing that is not a disfluency. sent7: there is something such that if it does snuffle lumberjack and it does not rally conflicting then it is earthy. sent8: if something that does not snuffle lumberjack is not heterocercal then it is Ibsenian. sent9: the suspension does nail affenpinscher if it is a spirogram and it does not prowl. sent10: there is something such that if it is not acidimetric and does not tool trey it is a anagnost. sent11: there is something such that if it is both a chlorella and not a spreadsheet then it is an inverse. sent12: that the AFP granulates hold if it does not tool suspension and is a kind of a auricle. sent13: if the crapaud is not a kind of a XXX but it is a caviar then it is a kind of a levallorphan. sent14: there is something such that if it is a petticoat and not a bloodworm it is testamentary. sent15: the bradawl is a XXX if it is not a Otariidae and is not a kind of a krait. sent16: if the rebirth is not a krait but an anterior it is a kind of a Conium. sent17: the crapaud is a krait if it does not tool AFP and it is a Struthionidae. sent18: if the crapaud does not winkle and is not a Midway it is an unwieldiness. sent19: the crapaud is heterocercal if it is not a krait and it is a disfluency. sent20: the crapaud prowls if it is not a starfish and it is a krait.
sent2 -> hypothesis;
if the crapaud does not snuffle lumberjack and is not heterocercal it is Ibsenian.
sent8 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a krait and it is not a kind of a disfluency then it is heterocercal does not hold. ; $context$ = sent1: there exists something such that if it does not nail crapaud and is not congregational it does commit. sent2: if the crapaud is both not a krait and not a disfluency then it is heterocercal. sent3: there is something such that if it is not a jugular and it is a pheasant's-eye then it is Ibsenian. sent4: there is something such that if it simmers and it is not creedal then it schemes. sent5: there exists something such that if it does not snuffle rebirth and it is not seamanlike then it is a yardman. sent6: the crapaud is a kind of a Augustinian if it is anaphylactic thing that is not a disfluency. sent7: there is something such that if it does snuffle lumberjack and it does not rally conflicting then it is earthy. sent8: if something that does not snuffle lumberjack is not heterocercal then it is Ibsenian. sent9: the suspension does nail affenpinscher if it is a spirogram and it does not prowl. sent10: there is something such that if it is not acidimetric and does not tool trey it is a anagnost. sent11: there is something such that if it is both a chlorella and not a spreadsheet then it is an inverse. sent12: that the AFP granulates hold if it does not tool suspension and is a kind of a auricle. sent13: if the crapaud is not a kind of a XXX but it is a caviar then it is a kind of a levallorphan. sent14: there is something such that if it is a petticoat and not a bloodworm it is testamentary. sent15: the bradawl is a XXX if it is not a Otariidae and is not a kind of a krait. sent16: if the rebirth is not a krait but an anterior it is a kind of a Conium. sent17: the crapaud is a krait if it does not tool AFP and it is a Struthionidae. sent18: if the crapaud does not winkle and is not a Midway it is an unwieldiness. sent19: the crapaud is heterocercal if it is not a krait and it is a disfluency. sent20: the crapaud prowls if it is not a starfish and it is a krait. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__