the fact that the roughleg is a kind of a Carolinian that is not a kind of a VDU is not true.
sent1: if the Kirghiz is not voltaic that the roughleg is a Carolinian and it is a kind of a VDU is wrong. sent2: the adjuster is not diametric. sent3: the fact that the roughleg is a Carolinian and a VDU is false. sent4: the adjuster is a kind of non-diametric a Brooklyn. sent5: something does unwrap bookishness. sent6: the antihistamine unwraps bookishness if the picket is both a slump and not a Celtic. sent7: if that that something does not unwrap bookishness and is a kind of a slump hold is false it is a Carolinian. sent8: the antihistamine is inhumane and a Wittgenstein if it is not alimentative. sent9: the antihistamine is a kind of a Wittgenstein. sent10: the antihistamine is not alimentative. sent11: that if the Kirghiz is not voltaic that the roughleg is a Carolinian but not a VDU is not true hold. sent12: the picket is a kind of a slump that is not a Celtic if the Lens is a slump. sent13: that the Lens does slump is not incorrect if the adjuster is diametric and is a Brooklyn. sent14: if something unwraps bookishness and is an endocrine then the Kirghiz is not voltaic. sent15: that there are endocrine things hold. sent16: the picket does slump if the Lens slump. sent17: the fact that the antihistamine is a kind of a Wittgenstein is not false if it is not alimentative. sent18: that the Lens is a kind of a slump hold if the adjuster is not diametric but it is a kind of a Brooklyn. sent19: the picket does slump. sent20: the roughleg is not a VDU if the fact that the Lens is a kind of endocrine thing that is not voltaic is not correct. sent21: the adjuster is a Celtic. sent22: if something is not humane then it is an endocrine.
sent18 & sent4 -> int1: the Lens is a slump.; int1 & sent12 -> int2: the picket is a kind of a slump but it is not a kind of a Celtic.; int2 & sent6 -> int3: the antihistamine does unwrap bookishness.; sent22 -> int4: if the antihistamine is inhumane it is endocrine.; sent8 & sent10 -> int5: the antihistamine is inhumane thing that is a Wittgenstein.; int5 -> int6: the antihistamine is inhumane.; int4 & int6 -> int7: the antihistamine is an endocrine.; int3 & int7 -> int8: the antihistamine unwraps bookishness and it is an endocrine.; int8 -> int9: there is something such that it does unwrap bookishness and is a kind of an endocrine.; int9 & sent14 -> int10: the Kirghiz is not voltaic.; int10 & sent11 -> hypothesis;
the roughleg is both a Carolinian and not a VDU.
sent7 -> int11: if the fact that the fact that that the roughleg does not unwrap bookishness but it does slump is not false does not hold is correct then it is a Carolinian.; sent21 -> int12: there is something such that it is a Celtic.;
$hypothesis$ = the fact that the roughleg is a kind of a Carolinian that is not a kind of a VDU is not true. ; $context$ = sent1: if the Kirghiz is not voltaic that the roughleg is a Carolinian and it is a kind of a VDU is wrong. sent2: the adjuster is not diametric. sent3: the fact that the roughleg is a Carolinian and a VDU is false. sent4: the adjuster is a kind of non-diametric a Brooklyn. sent5: something does unwrap bookishness. sent6: the antihistamine unwraps bookishness if the picket is both a slump and not a Celtic. sent7: if that that something does not unwrap bookishness and is a kind of a slump hold is false it is a Carolinian. sent8: the antihistamine is inhumane and a Wittgenstein if it is not alimentative. sent9: the antihistamine is a kind of a Wittgenstein. sent10: the antihistamine is not alimentative. sent11: that if the Kirghiz is not voltaic that the roughleg is a Carolinian but not a VDU is not true hold. sent12: the picket is a kind of a slump that is not a Celtic if the Lens is a slump. sent13: that the Lens does slump is not incorrect if the adjuster is diametric and is a Brooklyn. sent14: if something unwraps bookishness and is an endocrine then the Kirghiz is not voltaic. sent15: that there are endocrine things hold. sent16: the picket does slump if the Lens slump. sent17: the fact that the antihistamine is a kind of a Wittgenstein is not false if it is not alimentative. sent18: that the Lens is a kind of a slump hold if the adjuster is not diametric but it is a kind of a Brooklyn. sent19: the picket does slump. sent20: the roughleg is not a VDU if the fact that the Lens is a kind of endocrine thing that is not voltaic is not correct. sent21: the adjuster is a Celtic. sent22: if something is not humane then it is an endocrine. ; $proof$ = 
sent18 & sent4 -> int1: the Lens is a slump.; int1 & sent12 -> int2: the picket is a kind of a slump but it is not a kind of a Celtic.; int2 & sent6 -> int3: the antihistamine does unwrap bookishness.; sent22 -> int4: if the antihistamine is inhumane it is endocrine.; sent8 & sent10 -> int5: the antihistamine is inhumane thing that is a Wittgenstein.; int5 -> int6: the antihistamine is inhumane.; int4 & int6 -> int7: the antihistamine is an endocrine.; int3 & int7 -> int8: the antihistamine unwraps bookishness and it is an endocrine.; int8 -> int9: there is something such that it does unwrap bookishness and is a kind of an endocrine.; int9 & sent14 -> int10: the Kirghiz is not voltaic.; int10 & sent11 -> hypothesis; __PROVED__