that the digester is not restless and is not obligational if the jester is not calcicolous does not hold.
sent1: the digester is not obligational if the refectory is non-sugarless thing that is not a synecdoche. sent2: there is something such that the fact that it is not sugary and it is not a synecdoche is not true. sent3: something is a kind of restful an educator if that it is an adz is not wrong. sent4: the jester is not calcicolous and it is not a synecdoche if the digester is not an adz. sent5: the branchlet is a Curacao if there is something such that that that it is not sugarless and it is not a synecdoche is not incorrect is incorrect. sent6: the jester is calcicolous if the branchlet is a kind of a Curacao. sent7: something is not sugarless and it is not a synecdoche. sent8: if the digester is an adz it is an educator. sent9: the fact that the refectory is not restless and it is not sugarless is incorrect. sent10: the digester is an adz. sent11: the jester is not restless and it is not calcicolous. sent12: that the refectory is a kind of sugary a synecdoche is not true. sent13: the fact that the refectory is sugarless and not a synecdoche is false. sent14: there is something such that the fact that it is not sugarless and it is a synecdoche is false. sent15: the digester is not obligational if the refectory is sugary thing that is a synecdoche. sent16: if the digester is a kind of a synecdoche then it is a kind of non-obligational thing that is sugarless. sent17: the jester is not an educator. sent18: the refectory is not calcicolous and it is not sugarless if the digester is not obligational.
void -> assump1: Let's assume that that the refectory is sugary thing that is not a kind of a synecdoche is not correct.; assump1 -> int1: there is something such that that it is both not sugarless and not a synecdoche does not hold.; int1 & sent5 -> int2: the branchlet is a Curacao.; int2 & sent6 -> int3: the jester is calcicolous.; void -> assump2: Let's assume that the jester is not calcicolous.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the refectory is not sugarless and it is not a kind of a synecdoche.; int5 & sent1 -> int6: the digester is not obligational.; sent3 -> int7: if the digester is an adz it is not restless and it is a kind of an educator.; int7 & sent10 -> int8: the digester is both not restless and an educator.; int8 -> int9: the digester is not restless.; int6 & int9 -> int10: that the digester is not restless and is not obligational is not false.; [assump2] & int10 -> hypothesis;
$hypothesis$ = that the digester is not restless and is not obligational if the jester is not calcicolous does not hold. ; $context$ = sent1: the digester is not obligational if the refectory is non-sugarless thing that is not a synecdoche. sent2: there is something such that the fact that it is not sugary and it is not a synecdoche is not true. sent3: something is a kind of restful an educator if that it is an adz is not wrong. sent4: the jester is not calcicolous and it is not a synecdoche if the digester is not an adz. sent5: the branchlet is a Curacao if there is something such that that that it is not sugarless and it is not a synecdoche is not incorrect is incorrect. sent6: the jester is calcicolous if the branchlet is a kind of a Curacao. sent7: something is not sugarless and it is not a synecdoche. sent8: if the digester is an adz it is an educator. sent9: the fact that the refectory is not restless and it is not sugarless is incorrect. sent10: the digester is an adz. sent11: the jester is not restless and it is not calcicolous. sent12: that the refectory is a kind of sugary a synecdoche is not true. sent13: the fact that the refectory is sugarless and not a synecdoche is false. sent14: there is something such that the fact that it is not sugarless and it is a synecdoche is false. sent15: the digester is not obligational if the refectory is sugary thing that is a synecdoche. sent16: if the digester is a kind of a synecdoche then it is a kind of non-obligational thing that is sugarless. sent17: the jester is not an educator. sent18: the refectory is not calcicolous and it is not sugarless if the digester is not obligational. ; $proof$ = 
void -> assump1: Let's assume that that the refectory is sugary thing that is not a kind of a synecdoche is not correct.; assump1 -> int1: there is something such that that it is both not sugarless and not a synecdoche does not hold.; int1 & sent5 -> int2: the branchlet is a Curacao.; int2 & sent6 -> int3: the jester is calcicolous.; void -> assump2: Let's assume that the jester is not calcicolous.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the refectory is not sugarless and it is not a kind of a synecdoche.; int5 & sent1 -> int6: the digester is not obligational.; sent3 -> int7: if the digester is an adz it is not restless and it is a kind of an educator.; int7 & sent10 -> int8: the digester is both not restless and an educator.; int8 -> int9: the digester is not restless.; int6 & int9 -> int10: that the digester is not restless and is not obligational is not false.; [assump2] & int10 -> hypothesis; __DISPROVED__