there is something such that it is not a molter and it does not preoccupy Shudra.
sent1: there is something such that the fact that it does not jell and is a kind of a Diodontidae is not true. sent2: the chufa is a candyfloss if that it is not a struggler and is fashionable is wrong. sent3: if the chufa is not a Bounty then that it is not a struggler and it is fashionable is false. sent4: the chufa is not a molter and it does not preoccupy Shudra if it is not a transshipment. sent5: the chufa is not a kind of a candyfloss if that there is something such that the fact that it does not jell and is a Diodontidae is wrong is true. sent6: the chufa is catechistic. sent7: if something is a kind of a Bounty and it is catechistic then it is not a transshipment. sent8: that the chufa is a struggler and it is fashionable is not right if it is not a Bounty.
void -> assump1: Let's assume that the chufa is not a Bounty.; sent3 & assump1 -> int1: the fact that the chufa is not a struggler but it is fashionable does not hold.; int1 & sent2 -> int2: the chufa is a candyfloss.; sent1 & sent5 -> int3: that the chufa is not a candyfloss is right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chufa is a Bounty.; int5 & sent6 -> int6: the chufa is a Bounty that is catechistic.; sent7 -> int7: the chufa is not a transshipment if it is a Bounty and is catechistic.; int6 & int7 -> int8: the chufa is not a kind of a transshipment.; int8 & sent4 -> int9: the chufa is not a molter and does not preoccupy Shudra.; int9 -> hypothesis;
$hypothesis$ = there is something such that it is not a molter and it does not preoccupy Shudra. ; $context$ = sent1: there is something such that the fact that it does not jell and is a kind of a Diodontidae is not true. sent2: the chufa is a candyfloss if that it is not a struggler and is fashionable is wrong. sent3: if the chufa is not a Bounty then that it is not a struggler and it is fashionable is false. sent4: the chufa is not a molter and it does not preoccupy Shudra if it is not a transshipment. sent5: the chufa is not a kind of a candyfloss if that there is something such that the fact that it does not jell and is a Diodontidae is wrong is true. sent6: the chufa is catechistic. sent7: if something is a kind of a Bounty and it is catechistic then it is not a transshipment. sent8: that the chufa is a struggler and it is fashionable is not right if it is not a Bounty. ; $proof$ = 
void -> assump1: Let's assume that the chufa is not a Bounty.; sent3 & assump1 -> int1: the fact that the chufa is not a struggler but it is fashionable does not hold.; int1 & sent2 -> int2: the chufa is a candyfloss.; sent1 & sent5 -> int3: that the chufa is not a candyfloss is right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chufa is a Bounty.; int5 & sent6 -> int6: the chufa is a Bounty that is catechistic.; sent7 -> int7: the chufa is not a transshipment if it is a Bounty and is catechistic.; int6 & int7 -> int8: the chufa is not a kind of a transshipment.; int8 & sent4 -> int9: the chufa is not a molter and does not preoccupy Shudra.; int9 -> hypothesis; __PROVED__