that the curbstone is not a capability or it does not dump Newark or both is not wrong.
sent1: that the wrangler is not a Lemnaceae hold. sent2: there exists something such that the fact that it is a Lemnaceae and a Methodists is not correct. sent3: if the wrangler is a Lemnaceae and is Methodists the hurricane is a Thraupidae. sent4: the exegete is a capability if there exists something such that the fact that it is a Lemnaceae is not false. sent5: the gempylid is tuneless if the hurricane is a kind of a Thraupidae. sent6: the gempylid is eutrophic if it is not a GHQ. sent7: the fact that either the curbstone does not dump Newark or it is not a kind of a Thraupidae or both is not correct if the hurricane does dump Newark. sent8: if that the exegete is a capability is not wrong the curbstone dumps Newark. sent9: if that the gempylid is not a GHQ is right then it is a kind of eutrophic thing that is not tuneless. sent10: the gempylid is eutrophic. sent11: there exists something such that that it is a GHQ and it is eutrophic does not hold. sent12: the fact that either the curbstone is not a capability or it does not dump Newark or both is not correct if the exegete is a capability. sent13: something is not a capability and/or it does not dump Newark if the fact that it is tuneless is not false. sent14: the curbstone does dump Newark. sent15: the gempylid is not a kind of a GHQ. sent16: the exegete is a capability if there exists something such that the fact that it is both not a Lemnaceae and Methodists is not true. sent17: the fact that the hurricane is a Thraupidae is not wrong if the wrangler is not a Lemnaceae and is a Methodists.
void -> assump1: Let's assume that the wrangler is not a kind of a Lemnaceae but it is a Methodists.; sent17 & assump1 -> int1: the hurricane is a Thraupidae.; int1 & sent5 -> int2: the gempylid is tuneless.; sent9 & sent15 -> int3: the gempylid is both eutrophic and not tuneless.; int3 -> int4: the gempylid is not tuneless.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the wrangler is not a Lemnaceae but it is a Methodists is false.; int6 -> int7: there is something such that that it is not a Lemnaceae but Methodists is false.; int7 & sent16 -> int8: the exegete is a capability.; int8 & sent12 -> hypothesis;
the curbstone is not a capability or it does not dump Newark or both.
sent13 -> int9: if the curbstone is tuneless then it is not a kind of a capability and/or does not dump Newark.;
$hypothesis$ = that the curbstone is not a capability or it does not dump Newark or both is not wrong. ; $context$ = sent1: that the wrangler is not a Lemnaceae hold. sent2: there exists something such that the fact that it is a Lemnaceae and a Methodists is not correct. sent3: if the wrangler is a Lemnaceae and is Methodists the hurricane is a Thraupidae. sent4: the exegete is a capability if there exists something such that the fact that it is a Lemnaceae is not false. sent5: the gempylid is tuneless if the hurricane is a kind of a Thraupidae. sent6: the gempylid is eutrophic if it is not a GHQ. sent7: the fact that either the curbstone does not dump Newark or it is not a kind of a Thraupidae or both is not correct if the hurricane does dump Newark. sent8: if that the exegete is a capability is not wrong the curbstone dumps Newark. sent9: if that the gempylid is not a GHQ is right then it is a kind of eutrophic thing that is not tuneless. sent10: the gempylid is eutrophic. sent11: there exists something such that that it is a GHQ and it is eutrophic does not hold. sent12: the fact that either the curbstone is not a capability or it does not dump Newark or both is not correct if the exegete is a capability. sent13: something is not a capability and/or it does not dump Newark if the fact that it is tuneless is not false. sent14: the curbstone does dump Newark. sent15: the gempylid is not a kind of a GHQ. sent16: the exegete is a capability if there exists something such that the fact that it is both not a Lemnaceae and Methodists is not true. sent17: the fact that the hurricane is a Thraupidae is not wrong if the wrangler is not a Lemnaceae and is a Methodists. ; $proof$ = 
void -> assump1: Let's assume that the wrangler is not a kind of a Lemnaceae but it is a Methodists.; sent17 & assump1 -> int1: the hurricane is a Thraupidae.; int1 & sent5 -> int2: the gempylid is tuneless.; sent9 & sent15 -> int3: the gempylid is both eutrophic and not tuneless.; int3 -> int4: the gempylid is not tuneless.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the wrangler is not a Lemnaceae but it is a Methodists is false.; int6 -> int7: there is something such that that it is not a Lemnaceae but Methodists is false.; int7 & sent16 -> int8: the exegete is a capability.; int8 & sent12 -> hypothesis; __DISPROVED__