there is something such that it is a kind of a blunder and it is not non-Democratic.
sent1: something is not a top-up and does backstop glyptography. sent2: if the fact that the malt is a affixation that is not a crew is incorrect then it is unwelcome. sent3: if the malt does crow then it is unwelcome. sent4: that the malt is a kind of a affixation and it is a crew is not right. sent5: if something that is not a top-up does not backstop glyptography then the malt is Democratic. sent6: if something is not a blunder then the fact that it does not caravan and is not medullary is not correct. sent7: that the horsewhip is bibliographic but it is not a gloominess is wrong. sent8: something is not a top-up and it does not backstop glyptography. sent9: if that the malt is medullary is true it is not unwelcome. sent10: there exists something such that it is a blunder. sent11: there exists nothing such that it is a affixation but not a crew. sent12: if something is a top-up that does not backstop glyptography the malt is Democratic. sent13: the fact that that the malt is not the caravan but medullary does not hold if the malt is not a blunder is true. sent14: there exists something such that it is not a top-up.
sent6 -> int1: the fact that that the malt is not the caravan and not medullary is not right if the malt is not a kind of a blunder is correct.; void -> assump1: Let's assume that the malt is not a blunder.; int1 & assump1 -> int2: that the malt is not a kind of a caravan and it is not medullary is not true.; sent11 -> int3: that the malt is a affixation and does not crow is incorrect.; sent2 & int3 -> int4: the malt is unwelcome.; sent8 & sent5 -> int5: the malt is Democratic.;
$hypothesis$ = there is something such that it is a kind of a blunder and it is not non-Democratic. ; $context$ = sent1: something is not a top-up and does backstop glyptography. sent2: if the fact that the malt is a affixation that is not a crew is incorrect then it is unwelcome. sent3: if the malt does crow then it is unwelcome. sent4: that the malt is a kind of a affixation and it is a crew is not right. sent5: if something that is not a top-up does not backstop glyptography then the malt is Democratic. sent6: if something is not a blunder then the fact that it does not caravan and is not medullary is not correct. sent7: that the horsewhip is bibliographic but it is not a gloominess is wrong. sent8: something is not a top-up and it does not backstop glyptography. sent9: if that the malt is medullary is true it is not unwelcome. sent10: there exists something such that it is a blunder. sent11: there exists nothing such that it is a affixation but not a crew. sent12: if something is a top-up that does not backstop glyptography the malt is Democratic. sent13: the fact that that the malt is not the caravan but medullary does not hold if the malt is not a blunder is true. sent14: there exists something such that it is not a top-up. ; $proof$ = 
sent6 -> int1: the fact that that the malt is not the caravan and not medullary is not right if the malt is not a kind of a blunder is correct.; void -> assump1: Let's assume that the malt is not a blunder.; int1 & assump1 -> int2: that the malt is not a kind of a caravan and it is not medullary is not true.; sent11 -> int3: that the malt is a affixation and does not crow is incorrect.; sent2 & int3 -> int4: the malt is unwelcome.; sent8 & sent5 -> int5: the malt is Democratic.; __UNKNOWN__