there exists something such that it does fiddle theca and it is a quarantine.
sent1: if there is something such that it is shut and/or is not a self-education the roundhouse is not a self-education. sent2: if there is something such that the fact that it is a kind of an assent and it is a riel is not right the triplicate is a quarantine. sent3: there exists something such that that it is an assent and a riel is not correct. sent4: something does not homestead Chancellorsville if that it does not homestead lowered and is an affectation does not hold. sent5: the Carthusian does not fiddle theca if that it does not homestead lowered and does homestead Chancellorsville does not hold. sent6: the hogchoker is not a rondo if it is not impolite. sent7: there is something such that it quarantines. sent8: the Carthusian homesteads Chancellorsville if the roundhouse is not a kind of a self-education. sent9: the fact that the Carthusian does homestead lowered and is an affectation is not correct. sent10: the roundhouse is not an affectation if something is a self-education and/or it is not an affectation. sent11: the fact that that the triplicate does not homestead lowered and fiddles theca is right is not correct. sent12: if the Carthusian does homestead lowered it does not homestead Chancellorsville. sent13: the fiberboard homesteads lowered. sent14: something is shut or is not a self-education or both. sent15: there is something such that that it is a somewhere and other is false. sent16: if something is not a kind of a riel then the triplicate does quarantine. sent17: something is an assent that is a riel. sent18: the roundhouse is not a self-education if there exists something such that it is not a self-education. sent19: if something is not premenstrual then it is not a bargain. sent20: if there exists something such that the fact that it does homestead lowered and it is a quarantine is not true the fact that the Carthusian does fiddle theca is true. sent21: something does not homestead Chancellorsville if it does homestead lowered. sent22: there is something such that it is shut and/or it is a self-education. sent23: there is something such that it is premenstrual and it is an actuality. sent24: if the triplicate does not fiddle theca then the fact that the Carthusian does not homestead lowered but it is an affectation is wrong. sent25: the fact that the Carthusian does not homestead Chancellorsville but it is a kind of a quarantine is false if the triplicate does not homestead lowered. sent26: if the triplicate does not fiddle theca the fact that the Carthusian homesteads lowered and it is a kind of an affectation is not right.
void -> assump1: Let's assume that the fact that the triplicate does not fiddle theca is not incorrect.; sent24 & assump1 -> int1: the fact that the Carthusian does not homestead lowered and is a kind of an affectation is wrong.; sent4 -> int2: if that the Carthusian does not homestead lowered but it is a kind of an affectation does not hold it does not homestead Chancellorsville.; int1 & int2 -> int3: the Carthusian does not homestead Chancellorsville.; sent14 & sent1 -> int4: the roundhouse is not a self-education.; sent8 & int4 -> int5: the Carthusian homesteads Chancellorsville.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the triplicate does fiddle theca is not false.; sent3 & sent2 -> int8: the triplicate is a quarantine.; int7 & int8 -> int9: the triplicate fiddles theca and it is a kind of a quarantine.; int9 -> hypothesis;
$hypothesis$ = there exists something such that it does fiddle theca and it is a quarantine. ; $context$ = sent1: if there is something such that it is shut and/or is not a self-education the roundhouse is not a self-education. sent2: if there is something such that the fact that it is a kind of an assent and it is a riel is not right the triplicate is a quarantine. sent3: there exists something such that that it is an assent and a riel is not correct. sent4: something does not homestead Chancellorsville if that it does not homestead lowered and is an affectation does not hold. sent5: the Carthusian does not fiddle theca if that it does not homestead lowered and does homestead Chancellorsville does not hold. sent6: the hogchoker is not a rondo if it is not impolite. sent7: there is something such that it quarantines. sent8: the Carthusian homesteads Chancellorsville if the roundhouse is not a kind of a self-education. sent9: the fact that the Carthusian does homestead lowered and is an affectation is not correct. sent10: the roundhouse is not an affectation if something is a self-education and/or it is not an affectation. sent11: the fact that that the triplicate does not homestead lowered and fiddles theca is right is not correct. sent12: if the Carthusian does homestead lowered it does not homestead Chancellorsville. sent13: the fiberboard homesteads lowered. sent14: something is shut or is not a self-education or both. sent15: there is something such that that it is a somewhere and other is false. sent16: if something is not a kind of a riel then the triplicate does quarantine. sent17: something is an assent that is a riel. sent18: the roundhouse is not a self-education if there exists something such that it is not a self-education. sent19: if something is not premenstrual then it is not a bargain. sent20: if there exists something such that the fact that it does homestead lowered and it is a quarantine is not true the fact that the Carthusian does fiddle theca is true. sent21: something does not homestead Chancellorsville if it does homestead lowered. sent22: there is something such that it is shut and/or it is a self-education. sent23: there is something such that it is premenstrual and it is an actuality. sent24: if the triplicate does not fiddle theca then the fact that the Carthusian does not homestead lowered but it is an affectation is wrong. sent25: the fact that the Carthusian does not homestead Chancellorsville but it is a kind of a quarantine is false if the triplicate does not homestead lowered. sent26: if the triplicate does not fiddle theca the fact that the Carthusian homesteads lowered and it is a kind of an affectation is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the triplicate does not fiddle theca is not incorrect.; sent24 & assump1 -> int1: the fact that the Carthusian does not homestead lowered and is a kind of an affectation is wrong.; sent4 -> int2: if that the Carthusian does not homestead lowered but it is a kind of an affectation does not hold it does not homestead Chancellorsville.; int1 & int2 -> int3: the Carthusian does not homestead Chancellorsville.; sent14 & sent1 -> int4: the roundhouse is not a self-education.; sent8 & int4 -> int5: the Carthusian homesteads Chancellorsville.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the triplicate does fiddle theca is not false.; sent3 & sent2 -> int8: the triplicate is a quarantine.; int7 & int8 -> int9: the triplicate fiddles theca and it is a kind of a quarantine.; int9 -> hypothesis; __PROVED__