the tannin is a formal.
sent1: the scupper is not a kind of a eldership if there exists something such that the fact that it is not a wrasse and is a eldership is incorrect. sent2: the fact that the broomstick does not smash broomstick and is not nosohusial does not hold if the speciation is mercantile. sent3: if the speciation is not a kind of a centennial then that the tannin is not mercantile but it is geomorphologic is wrong. sent4: if something is mercantile and a centennial then it is a formal. sent5: that the broomstick does not smash broomstick and is nosohusial is wrong if the speciation is mercantile. sent6: there exists something such that that it is not a wrasse and it is a kind of a eldership is incorrect. sent7: the speciation is not a kind of a centennial if that the broomstick is a kind of a centennial that is not a eldership does not hold. sent8: there exists something such that that it is a wrasse and it is a kind of a eldership does not hold. sent9: if there exists something such that that it does not smash broomstick and is not nosohusial is not right the scupper is not geomorphologic. sent10: if that something is not mercantile but geomorphologic is false then it is not formal. sent11: something is a formal if it is not mercantile and is a kind of a centennial. sent12: if something is not a eldership it is a kind of geomorphologic a wool. sent13: something is not a wrasse but it is a kind of a eldership. sent14: the tannin is not mercantile and not non-centennial if the speciation is not mercantile.
void -> assump1: Let's assume that the speciation is mercantile.; sent2 & assump1 -> int1: the fact that the broomstick does not smash broomstick and is not nosohusial does not hold.; int1 -> int2: there exists something such that that it does not smash broomstick and is not nosohusial is not correct.; int2 & sent9 -> int3: that the scupper is not geomorphologic hold.; sent12 -> int4: if that the scupper is not a eldership is correct it is geomorphologic and is a wool.; sent6 & sent1 -> int5: the scupper is not a eldership.; int4 & int5 -> int6: the scupper is a kind of geomorphologic thing that is a kind of a wool.; int6 -> int7: the scupper is geomorphologic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the speciation is not mercantile.; int9 & sent14 -> int10: the tannin is not mercantile but it is a kind of a centennial.; sent11 -> int11: the tannin is a formal if the fact that it is non-mercantile and it is a centennial is correct.; int10 & int11 -> hypothesis;
that the tannin is not a kind of a formal is true.
sent10 -> int12: if that the tannin is not mercantile but it is geomorphologic is not true it is not formal.;
$hypothesis$ = the tannin is a formal. ; $context$ = sent1: the scupper is not a kind of a eldership if there exists something such that the fact that it is not a wrasse and is a eldership is incorrect. sent2: the fact that the broomstick does not smash broomstick and is not nosohusial does not hold if the speciation is mercantile. sent3: if the speciation is not a kind of a centennial then that the tannin is not mercantile but it is geomorphologic is wrong. sent4: if something is mercantile and a centennial then it is a formal. sent5: that the broomstick does not smash broomstick and is nosohusial is wrong if the speciation is mercantile. sent6: there exists something such that that it is not a wrasse and it is a kind of a eldership is incorrect. sent7: the speciation is not a kind of a centennial if that the broomstick is a kind of a centennial that is not a eldership does not hold. sent8: there exists something such that that it is a wrasse and it is a kind of a eldership does not hold. sent9: if there exists something such that that it does not smash broomstick and is not nosohusial is not right the scupper is not geomorphologic. sent10: if that something is not mercantile but geomorphologic is false then it is not formal. sent11: something is a formal if it is not mercantile and is a kind of a centennial. sent12: if something is not a eldership it is a kind of geomorphologic a wool. sent13: something is not a wrasse but it is a kind of a eldership. sent14: the tannin is not mercantile and not non-centennial if the speciation is not mercantile. ; $proof$ = 
void -> assump1: Let's assume that the speciation is mercantile.; sent2 & assump1 -> int1: the fact that the broomstick does not smash broomstick and is not nosohusial does not hold.; int1 -> int2: there exists something such that that it does not smash broomstick and is not nosohusial is not correct.; int2 & sent9 -> int3: that the scupper is not geomorphologic hold.; sent12 -> int4: if that the scupper is not a eldership is correct it is geomorphologic and is a wool.; sent6 & sent1 -> int5: the scupper is not a eldership.; int4 & int5 -> int6: the scupper is a kind of geomorphologic thing that is a kind of a wool.; int6 -> int7: the scupper is geomorphologic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the speciation is not mercantile.; int9 & sent14 -> int10: the tannin is not mercantile but it is a kind of a centennial.; sent11 -> int11: the tannin is a formal if the fact that it is non-mercantile and it is a centennial is correct.; int10 & int11 -> hypothesis; __PROVED__