the tunicate is a kind of a gesticulation.
sent1: if something is not a kind of a Jenny then that it is a kind of non-motivational thing that is a gesticulation is not right. sent2: the tunicate hardens. sent3: if the tunicate is a gesticulation it is a kind of a withe. sent4: the chokepoint is not non-motivational. sent5: the fact that the tunicate is motivational is not incorrect. sent6: something is not a epicalyx and it does not become lari if it is not joyless. sent7: the serendipity is a defensiveness and is not a tackle. sent8: the tunicate does not become hyphen. sent9: if something does not become lari it is not a Jenny and it is a clean. sent10: that the tunicate is not icosahedral is not incorrect. sent11: if that the tunicate is not motivational but it is a gesticulation does not hold the chandelier is not a kind of a withe. sent12: the parricide is not a withe. sent13: the minesweeper is not a kind of a gesticulation. sent14: the tunicate is motivational but not a withe.
void -> assump1: Let's assume that that the tunicate is a kind of a gesticulation is not wrong.; sent3 & assump1 -> int1: the tunicate is a withe.; sent14 -> int2: the fact that that the tunicate is a withe is not right is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the chandelier is not a withe is not wrong.
sent1 -> int4: the fact that that the tunicate is not motivational but it is a gesticulation is not false is wrong if it is not a kind of a Jenny.; sent9 -> int5: if the tunicate does not become lari it is both not a Jenny and a clean.; sent6 -> int6: the tunicate is not a epicalyx and does not become lari if it is not joyless.;
$hypothesis$ = the tunicate is a kind of a gesticulation. ; $context$ = sent1: if something is not a kind of a Jenny then that it is a kind of non-motivational thing that is a gesticulation is not right. sent2: the tunicate hardens. sent3: if the tunicate is a gesticulation it is a kind of a withe. sent4: the chokepoint is not non-motivational. sent5: the fact that the tunicate is motivational is not incorrect. sent6: something is not a epicalyx and it does not become lari if it is not joyless. sent7: the serendipity is a defensiveness and is not a tackle. sent8: the tunicate does not become hyphen. sent9: if something does not become lari it is not a Jenny and it is a clean. sent10: that the tunicate is not icosahedral is not incorrect. sent11: if that the tunicate is not motivational but it is a gesticulation does not hold the chandelier is not a kind of a withe. sent12: the parricide is not a withe. sent13: the minesweeper is not a kind of a gesticulation. sent14: the tunicate is motivational but not a withe. ; $proof$ = 
void -> assump1: Let's assume that that the tunicate is a kind of a gesticulation is not wrong.; sent3 & assump1 -> int1: the tunicate is a withe.; sent14 -> int2: the fact that that the tunicate is a withe is not right is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__