the caragana does shuck and is Rooseveltian.
sent1: the Zealot is not appositional. sent2: the caragana unclutters but it is not effortless if there exists something such that it is appositional. sent3: if the Zealot unclutters and is non-appositional then the fiberboard is non-appositional. sent4: if the capstan crams Echinocereus the Zealot is effortless. sent5: if something is effortless then it unclutters and it is not appositional. sent6: if something is not a Oregonian then the fact that it does shuck and it is Rooseveltian is not correct. sent7: if something is a kind of a Oregonian then that it is appositional is not incorrect. sent8: the fiberboard is a kind of a Humulin and is not a kind of a Wroclaw. sent9: the fiberboard is not a Wroclaw. sent10: the caragana does shuck if there is something such that the fact that it does not shuck and does cram Echinocereus does not hold. sent11: if the Zealot does not watch bouillabaisse the fact that the capstan is not a Oregonian but it is a telepathist is incorrect. sent12: if there is something such that it is effortless the capstan does cram Echinocereus or is effortless or both. sent13: there exists something such that it does not shuck and it crams Echinocereus. sent14: if the Zealot does not watch bouillabaisse then the fact that the capstan is a Oregonian that is a telepathist does not hold. sent15: the fact that something does watch bouillabaisse and is not a kind of a telepathist is wrong if it is appositional. sent16: the fact that the Zealot does not watch bouillabaisse is correct if the fiberboard is a kind of a Humulin and is not a Wroclaw. sent17: the fiberboard crams variance if the fact that it is a Humulin is not false. sent18: the fact that the bhang is effortless is not incorrect. sent19: the capstan is impenetrable but it does not watch lover. sent20: if the caragana does unclutter but it is not effortless then that it is Rooseveltian is not incorrect. sent21: if the fact that something is both not a Oregonian and a telepathist does not hold that it is appositional is correct. sent22: there exists something such that that it does not shuck and does cram Echinocereus does not hold.
sent16 & sent8 -> int1: the fact that the Zealot does not watch bouillabaisse hold.; int1 & sent11 -> int2: the fact that the capstan is not a Oregonian but it is a telepathist does not hold.; sent21 -> int3: if the fact that the capstan is not a kind of a Oregonian and is a telepathist is not correct then it is appositional.; int2 & int3 -> int4: the capstan is appositional.; int4 -> int5: there exists something such that it is appositional.; int5 & sent2 -> int6: the caragana does unclutter but it is not effortless.; int6 & sent20 -> int7: the caragana is not non-Rooseveltian.; sent22 & sent10 -> int8: the caragana shucks.; int7 & int8 -> hypothesis;
the fact that the caragana shucks and it is Rooseveltian is not true.
sent6 -> int9: that the caragana does shuck and is Rooseveltian does not hold if it is not a kind of a Oregonian.; sent15 -> int10: that the fiberboard watches bouillabaisse but it is not a kind of a telepathist is not true if it is appositional.; sent5 -> int11: if the Zealot is effortless it unclutters and it is not appositional.; sent18 -> int12: that something is effortless hold.; int12 & sent12 -> int13: the capstan crams Echinocereus and/or it is effortless.;
$hypothesis$ = the caragana does shuck and is Rooseveltian. ; $context$ = sent1: the Zealot is not appositional. sent2: the caragana unclutters but it is not effortless if there exists something such that it is appositional. sent3: if the Zealot unclutters and is non-appositional then the fiberboard is non-appositional. sent4: if the capstan crams Echinocereus the Zealot is effortless. sent5: if something is effortless then it unclutters and it is not appositional. sent6: if something is not a Oregonian then the fact that it does shuck and it is Rooseveltian is not correct. sent7: if something is a kind of a Oregonian then that it is appositional is not incorrect. sent8: the fiberboard is a kind of a Humulin and is not a kind of a Wroclaw. sent9: the fiberboard is not a Wroclaw. sent10: the caragana does shuck if there is something such that the fact that it does not shuck and does cram Echinocereus does not hold. sent11: if the Zealot does not watch bouillabaisse the fact that the capstan is not a Oregonian but it is a telepathist is incorrect. sent12: if there is something such that it is effortless the capstan does cram Echinocereus or is effortless or both. sent13: there exists something such that it does not shuck and it crams Echinocereus. sent14: if the Zealot does not watch bouillabaisse then the fact that the capstan is a Oregonian that is a telepathist does not hold. sent15: the fact that something does watch bouillabaisse and is not a kind of a telepathist is wrong if it is appositional. sent16: the fact that the Zealot does not watch bouillabaisse is correct if the fiberboard is a kind of a Humulin and is not a Wroclaw. sent17: the fiberboard crams variance if the fact that it is a Humulin is not false. sent18: the fact that the bhang is effortless is not incorrect. sent19: the capstan is impenetrable but it does not watch lover. sent20: if the caragana does unclutter but it is not effortless then that it is Rooseveltian is not incorrect. sent21: if the fact that something is both not a Oregonian and a telepathist does not hold that it is appositional is correct. sent22: there exists something such that that it does not shuck and does cram Echinocereus does not hold. ; $proof$ = 
sent16 & sent8 -> int1: the fact that the Zealot does not watch bouillabaisse hold.; int1 & sent11 -> int2: the fact that the capstan is not a Oregonian but it is a telepathist does not hold.; sent21 -> int3: if the fact that the capstan is not a kind of a Oregonian and is a telepathist is not correct then it is appositional.; int2 & int3 -> int4: the capstan is appositional.; int4 -> int5: there exists something such that it is appositional.; int5 & sent2 -> int6: the caragana does unclutter but it is not effortless.; int6 & sent20 -> int7: the caragana is not non-Rooseveltian.; sent22 & sent10 -> int8: the caragana shucks.; int7 & int8 -> hypothesis; __PROVED__