the elephant-tusk is a workaholism.
sent1: everything is a kind of developmental thing that does Simonize Cercospora. sent2: that the loligo is both a soccer and not a clarion is not true if the cyclotron is a soccer. sent3: if the elephant-tusk does not lunch loligo that the cyclotron lunches Blok and it is experimental is not true. sent4: if something is a kind of experimental thing that does not lunch Blok then the fact that it is a workaholism is not incorrect. sent5: the cyclotron is a soccer if it is experimental. sent6: if the cyclotron is non-developmental thing that is a clarion the elephant-tusk does not lunch Blok. sent7: that the cyclotron does lunch Blok and it is experimental does not hold. sent8: the cyclotron is a soccer if that it does lunch Blok and is not experimental does not hold. sent9: something is not developmental but it clarions if it is not a lenitive. sent10: if that the cyclotron is a soccer is true then the fact that the loligo is a soccer and clarions does not hold. sent11: something is both not a soccer and not a Anne if it is not non-trinucleate. sent12: if the loligo is a kind of a clarion the volunteer does not Simonize Cercospora. sent13: the elephant-tusk is a kind of a soccer and does Simonize Cercospora. sent14: everything is developmental. sent15: if the elephant-tusk is a workaholism it does not lunch loligo and it is not a morbidity. sent16: that the loligo is a soccer and it is a kind of a clarion is not right. sent17: the volunteer is developmental. sent18: the loligo is not a domestic. sent19: if the fact that the loligo is a kind of a soccer but it is not a clarion is wrong then the volunteer does not Simonize Cercospora. sent20: the elephant-tusk Simonizes Cercospora. sent21: the elephant-tusk is not a kind of a morbidity if it is a workaholism. sent22: the fact that the cyclotron Simonizes Cercospora is not incorrect. sent23: the fact that the cyclotron lunches Blok but it is not experimental is incorrect if the elephant-tusk does not lunch loligo. sent24: something is experimental if it is a soccer. sent25: the elephant-tusk is not a morbidity.
void -> assump1: Let's assume that the elephant-tusk is a workaholism.; sent15 & assump1 -> int1: the elephant-tusk does not lunch loligo and is not a morbidity.; int1 -> int2: the elephant-tusk does not lunch loligo.; int2 & sent23 -> int3: that the cyclotron lunches Blok but it is not experimental is wrong.; int3 & sent8 -> int4: the cyclotron is a soccer.; int4 & sent2 -> int5: the fact that the loligo is a kind of a soccer but it is not a kind of a clarion is not correct.; int5 & sent19 -> int6: the volunteer does not Simonize Cercospora.; sent1 -> int7: the volunteer is developmental thing that does Simonize Cercospora.; int7 -> int8: the volunteer does Simonize Cercospora.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the elephant-tusk is a kind of a workaholism.
sent4 -> int10: the elephant-tusk is a kind of a workaholism if it is experimental and it does not lunch Blok.; sent24 -> int11: if the elephant-tusk is a soccer it is experimental.; sent13 -> int12: the elephant-tusk is a soccer.; int11 & int12 -> int13: the fact that the elephant-tusk is experimental hold.; sent9 -> int14: if the cyclotron is not a lenitive it is not developmental and clarions.;
$hypothesis$ = the elephant-tusk is a workaholism. ; $context$ = sent1: everything is a kind of developmental thing that does Simonize Cercospora. sent2: that the loligo is both a soccer and not a clarion is not true if the cyclotron is a soccer. sent3: if the elephant-tusk does not lunch loligo that the cyclotron lunches Blok and it is experimental is not true. sent4: if something is a kind of experimental thing that does not lunch Blok then the fact that it is a workaholism is not incorrect. sent5: the cyclotron is a soccer if it is experimental. sent6: if the cyclotron is non-developmental thing that is a clarion the elephant-tusk does not lunch Blok. sent7: that the cyclotron does lunch Blok and it is experimental does not hold. sent8: the cyclotron is a soccer if that it does lunch Blok and is not experimental does not hold. sent9: something is not developmental but it clarions if it is not a lenitive. sent10: if that the cyclotron is a soccer is true then the fact that the loligo is a soccer and clarions does not hold. sent11: something is both not a soccer and not a Anne if it is not non-trinucleate. sent12: if the loligo is a kind of a clarion the volunteer does not Simonize Cercospora. sent13: the elephant-tusk is a kind of a soccer and does Simonize Cercospora. sent14: everything is developmental. sent15: if the elephant-tusk is a workaholism it does not lunch loligo and it is not a morbidity. sent16: that the loligo is a soccer and it is a kind of a clarion is not right. sent17: the volunteer is developmental. sent18: the loligo is not a domestic. sent19: if the fact that the loligo is a kind of a soccer but it is not a clarion is wrong then the volunteer does not Simonize Cercospora. sent20: the elephant-tusk Simonizes Cercospora. sent21: the elephant-tusk is not a kind of a morbidity if it is a workaholism. sent22: the fact that the cyclotron Simonizes Cercospora is not incorrect. sent23: the fact that the cyclotron lunches Blok but it is not experimental is incorrect if the elephant-tusk does not lunch loligo. sent24: something is experimental if it is a soccer. sent25: the elephant-tusk is not a morbidity. ; $proof$ = 
void -> assump1: Let's assume that the elephant-tusk is a workaholism.; sent15 & assump1 -> int1: the elephant-tusk does not lunch loligo and is not a morbidity.; int1 -> int2: the elephant-tusk does not lunch loligo.; int2 & sent23 -> int3: that the cyclotron lunches Blok but it is not experimental is wrong.; int3 & sent8 -> int4: the cyclotron is a soccer.; int4 & sent2 -> int5: the fact that the loligo is a kind of a soccer but it is not a kind of a clarion is not correct.; int5 & sent19 -> int6: the volunteer does not Simonize Cercospora.; sent1 -> int7: the volunteer is developmental thing that does Simonize Cercospora.; int7 -> int8: the volunteer does Simonize Cercospora.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__