the dwarf is not capitalist.
sent1: something does photosensitize offal if the fact that it is monotypic is correct. sent2: the daylily is a peroration. sent3: there exists something such that that it is a peroration is not wrong. sent4: the fact that the daylily does not photosensitize offal is not correct. sent5: the frock is a change and it does hoodoo frock if it is not cybernetics. sent6: the daylily is monotypic. sent7: the daylily does hoodoo frock. sent8: the frock is not a throw. sent9: the frock does hoodoo frock. sent10: the dwarf is a peroration if the daylily is not a lederhosen and does photosensitize offal. sent11: the frock does hoodoo frock if it is non-cybernetics. sent12: something is both not cybernetics and a Teton if it is not a throw. sent13: something that is monotypic is not a lederhosen and photosensitizes offal. sent14: the dwarf is a change. sent15: there are capitalist things. sent16: the frock is not a change if there is something such that that it is a capitalist that is a peroration is not wrong. sent17: there exists something such that it is a kind of a STM. sent18: if the fact that something enters is not false it is both not inhumane and hooflike. sent19: the offal is not a kind of a lederhosen. sent20: if something is not a kind of a peroration it is both monotypic and capitalist. sent21: the frock is a Teton and it is a kind of a lederhosen.
sent13 -> int1: the daylily is not a lederhosen and does photosensitize offal if it is monotypic.; int1 & sent6 -> int2: the daylily is not a lederhosen but it does photosensitize offal.; int2 & sent10 -> int3: the dwarf is a kind of a peroration.; void -> assump1: Let's assume that the dwarf is a kind of a capitalist.; int3 & assump1 -> int4: that the dwarf is a capitalist and a peroration is not incorrect.; int4 -> int5: something is a capitalist and it is a peroration.; int5 & sent16 -> int6: the frock is not a kind of a change.; sent12 -> int7: the frock is not cybernetics but it is a Teton if that it is not a throw is not incorrect.; int7 & sent8 -> int8: the frock is a kind of non-cybernetics a Teton.; int8 -> int9: the frock is not cybernetics.; sent5 & int9 -> int10: the frock is a change and it does hoodoo frock.; int10 -> int11: the frock is a change.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the dwarf is a capitalist.
sent20 -> int13: the dwarf is monotypic a capitalist if it is not a kind of a peroration.;
$hypothesis$ = the dwarf is not capitalist. ; $context$ = sent1: something does photosensitize offal if the fact that it is monotypic is correct. sent2: the daylily is a peroration. sent3: there exists something such that that it is a peroration is not wrong. sent4: the fact that the daylily does not photosensitize offal is not correct. sent5: the frock is a change and it does hoodoo frock if it is not cybernetics. sent6: the daylily is monotypic. sent7: the daylily does hoodoo frock. sent8: the frock is not a throw. sent9: the frock does hoodoo frock. sent10: the dwarf is a peroration if the daylily is not a lederhosen and does photosensitize offal. sent11: the frock does hoodoo frock if it is non-cybernetics. sent12: something is both not cybernetics and a Teton if it is not a throw. sent13: something that is monotypic is not a lederhosen and photosensitizes offal. sent14: the dwarf is a change. sent15: there are capitalist things. sent16: the frock is not a change if there is something such that that it is a capitalist that is a peroration is not wrong. sent17: there exists something such that it is a kind of a STM. sent18: if the fact that something enters is not false it is both not inhumane and hooflike. sent19: the offal is not a kind of a lederhosen. sent20: if something is not a kind of a peroration it is both monotypic and capitalist. sent21: the frock is a Teton and it is a kind of a lederhosen. ; $proof$ = 
sent13 -> int1: the daylily is not a lederhosen and does photosensitize offal if it is monotypic.; int1 & sent6 -> int2: the daylily is not a lederhosen but it does photosensitize offal.; int2 & sent10 -> int3: the dwarf is a kind of a peroration.; void -> assump1: Let's assume that the dwarf is a kind of a capitalist.; int3 & assump1 -> int4: that the dwarf is a capitalist and a peroration is not incorrect.; int4 -> int5: something is a capitalist and it is a peroration.; int5 & sent16 -> int6: the frock is not a kind of a change.; sent12 -> int7: the frock is not cybernetics but it is a Teton if that it is not a throw is not incorrect.; int7 & sent8 -> int8: the frock is a kind of non-cybernetics a Teton.; int8 -> int9: the frock is not cybernetics.; sent5 & int9 -> int10: the frock is a change and it does hoodoo frock.; int10 -> int11: the frock is a change.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__