the teacake is not a burrfish.
sent1: the fact that something is not regenerating and does squawk zigzag is incorrect if it is not a quadratic. sent2: the boatswain is not a Terry. sent3: if the fact that the congou is not regenerating but it does squawk zigzag does not hold then the boatswain squawk zigzag. sent4: the congou is not .22-caliber if something that is euphoric is quadratic. sent5: that the teacake is a burrfish is true if the boatswain is a burrfish. sent6: the boatswain does not regenerate if the fact that it is non-euphoric thing that is regenerate is incorrect. sent7: the congou is not autographic but a garmentmaker. sent8: if the fact that the boatswain is both not a skedaddle and euphoric is not right then it is not splintery. sent9: the teacake is not a burrfish if there exists something such that it is a quadratic and it is a kind of a Honduran. sent10: that the boatswain is not a kind of a skedaddle but it is euphoric does not hold. sent11: the congou is not a kind of a skedaddle. sent12: the boatswain is a burrfish that regenerates if it is not quadratic. sent13: the educator does not treat pate. sent14: the fact that the boatswain is a kind of non-euphoric thing that is regenerating is false. sent15: the selectman is not a Honduran. sent16: the boatswain is .22-caliber if it is not regenerating. sent17: the teacake does not treat worthwhileness. sent18: if something does not treat worthwhileness and is .22-caliber the boatswain is not non-regenerating. sent19: if the fact that the educator is euphoric and it treats pate is false then the congou is not euphoric. sent20: if there is something such that the fact that it does not treat worthwhileness and is .22-caliber is wrong the congou is a quadratic. sent21: the fact that the teacake is not a quadratic is not incorrect.
void -> assump1: Let's assume that the selectman does not treat worthwhileness and is .22-caliber.; assump1 -> int1: something does not treat worthwhileness and is .22-caliber.; int1 & sent18 -> int2: the boatswain regenerates.; sent6 & sent14 -> int3: that the boatswain does not regenerate is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the selectman does not treat worthwhileness but it is .22-caliber is not correct.; int5 -> int6: there is something such that that it does not treat worthwhileness and it is .22-caliber does not hold.; int6 & sent20 -> int7: the congou is a quadratic.;
there is something such that it is not splintery and squawks zigzag.
sent8 & sent10 -> int8: the boatswain is not splintery.; sent1 -> int9: that the congou does not regenerate but it squawks zigzag is not correct if it is not quadratic.; sent13 -> int10: there is something such that it does not treat pate.;
$hypothesis$ = the teacake is not a burrfish. ; $context$ = sent1: the fact that something is not regenerating and does squawk zigzag is incorrect if it is not a quadratic. sent2: the boatswain is not a Terry. sent3: if the fact that the congou is not regenerating but it does squawk zigzag does not hold then the boatswain squawk zigzag. sent4: the congou is not .22-caliber if something that is euphoric is quadratic. sent5: that the teacake is a burrfish is true if the boatswain is a burrfish. sent6: the boatswain does not regenerate if the fact that it is non-euphoric thing that is regenerate is incorrect. sent7: the congou is not autographic but a garmentmaker. sent8: if the fact that the boatswain is both not a skedaddle and euphoric is not right then it is not splintery. sent9: the teacake is not a burrfish if there exists something such that it is a quadratic and it is a kind of a Honduran. sent10: that the boatswain is not a kind of a skedaddle but it is euphoric does not hold. sent11: the congou is not a kind of a skedaddle. sent12: the boatswain is a burrfish that regenerates if it is not quadratic. sent13: the educator does not treat pate. sent14: the fact that the boatswain is a kind of non-euphoric thing that is regenerating is false. sent15: the selectman is not a Honduran. sent16: the boatswain is .22-caliber if it is not regenerating. sent17: the teacake does not treat worthwhileness. sent18: if something does not treat worthwhileness and is .22-caliber the boatswain is not non-regenerating. sent19: if the fact that the educator is euphoric and it treats pate is false then the congou is not euphoric. sent20: if there is something such that the fact that it does not treat worthwhileness and is .22-caliber is wrong the congou is a quadratic. sent21: the fact that the teacake is not a quadratic is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the selectman does not treat worthwhileness and is .22-caliber.; assump1 -> int1: something does not treat worthwhileness and is .22-caliber.; int1 & sent18 -> int2: the boatswain regenerates.; sent6 & sent14 -> int3: that the boatswain does not regenerate is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the selectman does not treat worthwhileness but it is .22-caliber is not correct.; int5 -> int6: there is something such that that it does not treat worthwhileness and it is .22-caliber does not hold.; int6 & sent20 -> int7: the congou is a quadratic.; __UNKNOWN__