if the Brownshirt is clinker-built then the rounders overloads.
sent1: if something is not a discussant or not high-rise or both then it is not a kind of a discussant. sent2: the Brownshirt is a kind of a fuller. sent3: if the rounders is not clinker-built then either the Brownshirt is not a discussant or it is non-high-rise or both. sent4: if that the misfit is a kind of a dragging is not false then the sandblaster deals. sent5: the Brownshirt is a kind of an overload. sent6: if the Brownshirt does overload then the rounders is clinker-built. sent7: the misfit drags if it does shore. sent8: the fact that the rounders is not a symphilid is correct. sent9: if something is not a high-rise then that the deposit is blastomycotic is not false. sent10: the rounders overloads if there is something such that it is not a high-rise. sent11: if something suckles Scriabin it does not overload and it is a erythroderma. sent12: that the fact that the formulary is not a deal and does not suckle Scriabin is not wrong is wrong if something is a deal. sent13: the Brownshirt is a kind of a shore. sent14: the wood-rat overloads. sent15: the wood-rat is clinker-built. sent16: if that the formulary is not a kind of a deal and does not suckle Scriabin is wrong the nutlet does suckle Scriabin. sent17: there exists something such that it is a kind of a high-rise. sent18: the misfit shores. sent19: if there is something such that it is not a kind of a erythroderma the Brownshirt is a high-rise. sent20: the rounders is clinker-built. sent21: if the Brownshirt is clinker-built thing that is high-rise it is not a erythroderma. sent22: the rounders does not imagine.
void -> assump2: Let's assume that the Brownshirt is clinker-built.; void -> assump1: Let's assume that the Brownshirt is a kind of a high-rise.; assump2 & assump1 -> int1: that the Brownshirt is clinker-built and is a high-rise is not wrong.; int1 & sent21 -> int2: the Brownshirt is not a erythroderma.;
that there is something such that it is not a discussant is not incorrect.
sent1 -> int3: if the Brownshirt is not a discussant or it is not a kind of a high-rise or both that it is not a kind of a discussant is not wrong.; sent11 -> int4: if the nutlet suckles Scriabin the fact that it is not a kind of an overload and it is a kind of a erythroderma is right.; sent7 & sent18 -> int5: the misfit is a dragging.; sent4 & int5 -> int6: that the sandblaster deals is not false.; int6 -> int7: there is something such that it does deal.; int7 & sent12 -> int8: that the formulary is not a deal and does not suckle Scriabin does not hold.; sent16 & int8 -> int9: that the nutlet does not suckle Scriabin does not hold.; int4 & int9 -> int10: the nutlet is not a kind of an overload but it is a kind of a erythroderma.; int10 -> int11: something is not a kind of an overload but it is a erythroderma.;
$hypothesis$ = if the Brownshirt is clinker-built then the rounders overloads. ; $context$ = sent1: if something is not a discussant or not high-rise or both then it is not a kind of a discussant. sent2: the Brownshirt is a kind of a fuller. sent3: if the rounders is not clinker-built then either the Brownshirt is not a discussant or it is non-high-rise or both. sent4: if that the misfit is a kind of a dragging is not false then the sandblaster deals. sent5: the Brownshirt is a kind of an overload. sent6: if the Brownshirt does overload then the rounders is clinker-built. sent7: the misfit drags if it does shore. sent8: the fact that the rounders is not a symphilid is correct. sent9: if something is not a high-rise then that the deposit is blastomycotic is not false. sent10: the rounders overloads if there is something such that it is not a high-rise. sent11: if something suckles Scriabin it does not overload and it is a erythroderma. sent12: that the fact that the formulary is not a deal and does not suckle Scriabin is not wrong is wrong if something is a deal. sent13: the Brownshirt is a kind of a shore. sent14: the wood-rat overloads. sent15: the wood-rat is clinker-built. sent16: if that the formulary is not a kind of a deal and does not suckle Scriabin is wrong the nutlet does suckle Scriabin. sent17: there exists something such that it is a kind of a high-rise. sent18: the misfit shores. sent19: if there is something such that it is not a kind of a erythroderma the Brownshirt is a high-rise. sent20: the rounders is clinker-built. sent21: if the Brownshirt is clinker-built thing that is high-rise it is not a erythroderma. sent22: the rounders does not imagine. ; $proof$ = 
void -> assump2: Let's assume that the Brownshirt is clinker-built.; void -> assump1: Let's assume that the Brownshirt is a kind of a high-rise.; assump2 & assump1 -> int1: that the Brownshirt is clinker-built and is a high-rise is not wrong.; int1 & sent21 -> int2: the Brownshirt is not a erythroderma.; __UNKNOWN__