the buttercup is not estuarine.
sent1: the director does not invite unison. sent2: the director is a kind of a skid if the trepang is colorimetric. sent3: the trepang is a skid if the buttercup is estuarine. sent4: that the mouton is anaglyphic and it does shatter is not correct. sent5: the mouton is not anaglyphic if it is estuarine. sent6: if there exists something such that it is not colorimetric then the mouton is not anaglyphic but it does shatter. sent7: the buttercup is a skid. sent8: there exists something such that it is not anaglyphic. sent9: if that something is not colorimetric is right then that it is both estuarine and a skid is right. sent10: if the director does not invite unison the fact that the mouton is anaglyphic thing that shatters does not hold. sent11: if the trepang does not shatter then that the mouton is both not a skid and estuarine is not true. sent12: if the director does not invite unison then that the mouton is not anaglyphic but it does shatter is false. sent13: if there exists something such that it does not shatter the director does not invite unison and is anaglyphic. sent14: that the mouton is not anaglyphic is not false. sent15: if the fact that the deadhead does ebb glasnost is right then it does not invite Saxon. sent16: the mouton is not anaglyphic if something is not colorimetric. sent17: if there is something such that it is not a skid the mouton is not anaglyphic but it is colorimetric. sent18: The unison does not invite director. sent19: if that the trepang skids hold then the fact that it is not colorimetric hold. sent20: something is colorimetric. sent21: the director is not a Panthera. sent22: if there is something such that it does not shatter the mouton is both not a skid and estuarine. sent23: if the mouton is a kind of a skid then the trepang shatters. sent24: the trepang is non-anaglyphic and does shatter if something does not skid.
void -> assump1: Let's assume that the buttercup is estuarine.; sent3 & assump1 -> int1: the trepang does skid.; int1 & sent19 -> int2: the trepang is not colorimetric.; int2 -> int3: there is something such that it is not colorimetric.; int3 & sent6 -> int4: the mouton is not anaglyphic but it shatters.; sent12 & sent1 -> int5: the fact that the mouton is not anaglyphic but it does shatter is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fact that the buttercup is estuarine is correct.
sent9 -> int7: the fact that the buttercup is estuarine thing that is a skid is not false if it is not colorimetric.;
$hypothesis$ = the buttercup is not estuarine. ; $context$ = sent1: the director does not invite unison. sent2: the director is a kind of a skid if the trepang is colorimetric. sent3: the trepang is a skid if the buttercup is estuarine. sent4: that the mouton is anaglyphic and it does shatter is not correct. sent5: the mouton is not anaglyphic if it is estuarine. sent6: if there exists something such that it is not colorimetric then the mouton is not anaglyphic but it does shatter. sent7: the buttercup is a skid. sent8: there exists something such that it is not anaglyphic. sent9: if that something is not colorimetric is right then that it is both estuarine and a skid is right. sent10: if the director does not invite unison the fact that the mouton is anaglyphic thing that shatters does not hold. sent11: if the trepang does not shatter then that the mouton is both not a skid and estuarine is not true. sent12: if the director does not invite unison then that the mouton is not anaglyphic but it does shatter is false. sent13: if there exists something such that it does not shatter the director does not invite unison and is anaglyphic. sent14: that the mouton is not anaglyphic is not false. sent15: if the fact that the deadhead does ebb glasnost is right then it does not invite Saxon. sent16: the mouton is not anaglyphic if something is not colorimetric. sent17: if there is something such that it is not a skid the mouton is not anaglyphic but it is colorimetric. sent18: The unison does not invite director. sent19: if that the trepang skids hold then the fact that it is not colorimetric hold. sent20: something is colorimetric. sent21: the director is not a Panthera. sent22: if there is something such that it does not shatter the mouton is both not a skid and estuarine. sent23: if the mouton is a kind of a skid then the trepang shatters. sent24: the trepang is non-anaglyphic and does shatter if something does not skid. ; $proof$ = 
void -> assump1: Let's assume that the buttercup is estuarine.; sent3 & assump1 -> int1: the trepang does skid.; int1 & sent19 -> int2: the trepang is not colorimetric.; int2 -> int3: there is something such that it is not colorimetric.; int3 & sent6 -> int4: the mouton is not anaglyphic but it shatters.; sent12 & sent1 -> int5: the fact that the mouton is not anaglyphic but it does shatter is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__