the fact that the fact that the basketball is not indiscreet and does not sneer ductule is not true if the Nazi is a kook does not hold.
sent1: if the ductule is indiscreet then the basketball does sneer ductule. sent2: the basketball is not indiscreet and it does not sneer ductule if the Nazi is a kook. sent3: the fact that the ductule does not sneer ductule and it is not a kook is false. sent4: the fact that the ductule sneers ductule is right if the Nazi is a kind of a kook. sent5: if the Nazi is indiscreet that the basketball does not sneer ductule and it is not a kook is false. sent6: that the basketball is non-indiscreet thing that does not sneer ductule is not true if the ductule does sneer ductule. sent7: the fact that the basketball is discreet thing that does not sneer ductule does not hold if the Nazi sneer ductule. sent8: if the Nazi is a kind of a kook the fact that the ductule does sneer ductule and is not a kook does not hold. sent9: the basketball is not a kook and it does not sneer ductule. sent10: the basketball is not a kook and does not sneer ductule if the Nazi sneer ductule. sent11: if the basketball is a kook that that the ductule is not indiscreet but it sneers ductule is true is incorrect. sent12: that the ductule does not sneer ductule but it is indiscreet is incorrect. sent13: if the basketball is indiscreet the fact that the ductule does sneer ductule but it is not a kind of a kook is not correct. sent14: the ductule does not sneer ductule and is not a kook if the basketball is indiscreet. sent15: the fact that the basketball is a kook is true if the fact that the Nazi is indiscreet is true.
void -> assump1: Let's assume that the Nazi is a kook.; sent4 & assump1 -> int1: that the ductule sneers ductule is true.; sent6 & int1 -> int2: that the basketball is discreet thing that does not sneer ductule is not correct.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the fact that the basketball is not indiscreet and does not sneer ductule is not true if the Nazi is a kook does not hold. ; $context$ = sent1: if the ductule is indiscreet then the basketball does sneer ductule. sent2: the basketball is not indiscreet and it does not sneer ductule if the Nazi is a kook. sent3: the fact that the ductule does not sneer ductule and it is not a kook is false. sent4: the fact that the ductule sneers ductule is right if the Nazi is a kind of a kook. sent5: if the Nazi is indiscreet that the basketball does not sneer ductule and it is not a kook is false. sent6: that the basketball is non-indiscreet thing that does not sneer ductule is not true if the ductule does sneer ductule. sent7: the fact that the basketball is discreet thing that does not sneer ductule does not hold if the Nazi sneer ductule. sent8: if the Nazi is a kind of a kook the fact that the ductule does sneer ductule and is not a kook does not hold. sent9: the basketball is not a kook and it does not sneer ductule. sent10: the basketball is not a kook and does not sneer ductule if the Nazi sneer ductule. sent11: if the basketball is a kook that that the ductule is not indiscreet but it sneers ductule is true is incorrect. sent12: that the ductule does not sneer ductule but it is indiscreet is incorrect. sent13: if the basketball is indiscreet the fact that the ductule does sneer ductule but it is not a kind of a kook is not correct. sent14: the ductule does not sneer ductule and is not a kook if the basketball is indiscreet. sent15: the fact that the basketball is a kook is true if the fact that the Nazi is indiscreet is true. ; $proof$ = 
void -> assump1: Let's assume that the Nazi is a kook.; sent4 & assump1 -> int1: that the ductule sneers ductule is true.; sent6 & int1 -> int2: that the basketball is discreet thing that does not sneer ductule is not correct.; [assump1] & int2 -> hypothesis; __DISPROVED__