that there is something such that if it is not a kind of a NSWC it is a crayon and it rationalizes Chilomycterus is not true.
sent1: the WWW is a crayon and it rationalizes Chilomycterus if it is not a NSWC. sent2: there is something such that if it gargles then it does sentimentalise pen and is a kind of a agamete. sent3: if something is not a pestilence it does rationalize inspectorship and it does rationalize Chilomycterus. sent4: the WWW is a kind of a crayon if it is not a NSWC. sent5: there is something such that if it is a boss it is intradepartmental and a bovid. sent6: there exists something such that if it does not depreciate then it is virtuous and it does neglect playbox. sent7: there exists something such that if the fact that it is not a kind of a NSWC is true the fact that it does rationalize Chilomycterus is true. sent8: the WWW is a kind of a flies that is a kind of a NSWC if that it does carry does not hold.
sent1 -> hypothesis;
the brome rationalizes inspectorship and does rationalize Chilomycterus if it is not a pestilence.
sent3 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a kind of a NSWC it is a crayon and it rationalizes Chilomycterus is not true. ; $context$ = sent1: the WWW is a crayon and it rationalizes Chilomycterus if it is not a NSWC. sent2: there is something such that if it gargles then it does sentimentalise pen and is a kind of a agamete. sent3: if something is not a pestilence it does rationalize inspectorship and it does rationalize Chilomycterus. sent4: the WWW is a kind of a crayon if it is not a NSWC. sent5: there is something such that if it is a boss it is intradepartmental and a bovid. sent6: there exists something such that if it does not depreciate then it is virtuous and it does neglect playbox. sent7: there exists something such that if the fact that it is not a kind of a NSWC is true the fact that it does rationalize Chilomycterus is true. sent8: the WWW is a kind of a flies that is a kind of a NSWC if that it does carry does not hold. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__