there exists something such that that it is harmonious is not incorrect.
sent1: the surplice does overbear jati. sent2: the fact that the Burger is a cellblock that parallels surplice is incorrect. sent3: if the surplice is a cellblock then the Burger is not inharmonious. sent4: if that the surplice does overbear jati and/or is a hee-haw is not true it is harmonious. sent5: the surplice is harmonious if the fact that it does not hee-haw and/or parallels surplice is false. sent6: that either the surplice does not resent semifluidity or it parallels cloud or both is incorrect. sent7: if the Taracahitian does parallel sliminess the Burger is not non-eponymous. sent8: the Burger is not eponymous if the fact that that it is not a cellblock and does parallel surplice is correct is false. sent9: if the Burger is a cellblock it is not eponymous. sent10: the Burger does overbear jati if that it is not harmonious or it is a cellblock or both is not right. sent11: if the Burger is not a hee-haw then that the surplice is not harmonious or parallels surplice or both is incorrect. sent12: there exists something such that it is a kind of a Hassam. sent13: something is harmonious if the fact that it does overbear jati and/or is a hee-haw is not true. sent14: if the surplice does not parallel surplice that the Burger is not harmonious or it is a hee-haw or both is incorrect. sent15: something is harmonious if that it does not overbear jati and/or is a kind of a hee-haw is not true. sent16: that the Burger is not a cellblock and does parallel surplice does not hold. sent17: if the fact that the Taracahitian does not parallel sliminess is not incorrect that the fact that the surplice either does not overbear jati or is a kind of a hee-haw or both is not wrong does not hold. sent18: the acetaldehyde does not overbear jati. sent19: the fact that the Taracahitian does not parallel sliminess and overbears jati is not true if it is non-eponymous. sent20: something is a kind of a cellblock if that it is not a hee-haw and/or it is eponymous is false. sent21: the surplice does overbear jati if the Taracahitian does not parallel sliminess. sent22: if something does parallel sliminess it does hee-haw.
void -> assump1: Let's assume that the Taracahitian does parallel sliminess.; sent7 & assump1 -> int1: the Burger is eponymous.; sent8 & sent16 -> int2: that the Burger is not eponymous hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Taracahitian does not parallel sliminess.; int4 & sent17 -> int5: that the surplice does not overbear jati and/or it does hee-haw is false.; sent15 -> int6: the surplice is harmonious if that it does not overbear jati or it does hee-haw or both is wrong.; int5 & int6 -> int7: the surplice is harmonious.; int7 -> hypothesis;
the crewelwork hee-haws.
sent22 -> int8: if the crewelwork parallels sliminess it is a hee-haw.;
$hypothesis$ = there exists something such that that it is harmonious is not incorrect. ; $context$ = sent1: the surplice does overbear jati. sent2: the fact that the Burger is a cellblock that parallels surplice is incorrect. sent3: if the surplice is a cellblock then the Burger is not inharmonious. sent4: if that the surplice does overbear jati and/or is a hee-haw is not true it is harmonious. sent5: the surplice is harmonious if the fact that it does not hee-haw and/or parallels surplice is false. sent6: that either the surplice does not resent semifluidity or it parallels cloud or both is incorrect. sent7: if the Taracahitian does parallel sliminess the Burger is not non-eponymous. sent8: the Burger is not eponymous if the fact that that it is not a cellblock and does parallel surplice is correct is false. sent9: if the Burger is a cellblock it is not eponymous. sent10: the Burger does overbear jati if that it is not harmonious or it is a cellblock or both is not right. sent11: if the Burger is not a hee-haw then that the surplice is not harmonious or parallels surplice or both is incorrect. sent12: there exists something such that it is a kind of a Hassam. sent13: something is harmonious if the fact that it does overbear jati and/or is a hee-haw is not true. sent14: if the surplice does not parallel surplice that the Burger is not harmonious or it is a hee-haw or both is incorrect. sent15: something is harmonious if that it does not overbear jati and/or is a kind of a hee-haw is not true. sent16: that the Burger is not a cellblock and does parallel surplice does not hold. sent17: if the fact that the Taracahitian does not parallel sliminess is not incorrect that the fact that the surplice either does not overbear jati or is a kind of a hee-haw or both is not wrong does not hold. sent18: the acetaldehyde does not overbear jati. sent19: the fact that the Taracahitian does not parallel sliminess and overbears jati is not true if it is non-eponymous. sent20: something is a kind of a cellblock if that it is not a hee-haw and/or it is eponymous is false. sent21: the surplice does overbear jati if the Taracahitian does not parallel sliminess. sent22: if something does parallel sliminess it does hee-haw. ; $proof$ = 
void -> assump1: Let's assume that the Taracahitian does parallel sliminess.; sent7 & assump1 -> int1: the Burger is eponymous.; sent8 & sent16 -> int2: that the Burger is not eponymous hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Taracahitian does not parallel sliminess.; int4 & sent17 -> int5: that the surplice does not overbear jati and/or it does hee-haw is false.; sent15 -> int6: the surplice is harmonious if that it does not overbear jati or it does hee-haw or both is wrong.; int5 & int6 -> int7: the surplice is harmonious.; int7 -> hypothesis; __PROVED__