the darts is testate and mediates.
sent1: if the ponce is not a corbel that the anchor is thyrotoxic and it is raw is incorrect. sent2: there exists nothing such that it is a synthesis and it is a Quincy. sent3: there is nothing such that it is a Hall and is not a paragraph. sent4: the MPS is Riemannian and is a menopause. sent5: if the fact that something is both intestate and mediate does not hold that it is galactic is not wrong. sent6: the bain-marie is not inscriptive if there exists something such that the fact that it is not Riemannian or it is not a menopause or both does not hold. sent7: the darts is not non-inscriptive if the acetate does overturn. sent8: if the darts is galactic then the toller is galactic. sent9: the acetate is not mediate if there is something such that that it is both an overturn and mediate is wrong. sent10: if that there are non-inscriptive things is not false that the MPS is an overturn that mediates is incorrect. sent11: if that the ponce is a kind of a synthesis that is a Quincy is not correct then it is not a corbel. sent12: the darts is not an overturn if the MPS is both Riemannian and a menopause. sent13: the solicitor is not a raw if the fact that that the anchor is thyrotoxic and it is raw hold is not correct. sent14: the acetate overturns. sent15: the acetate is a Hall but not a paragraph if the darts is not testate. sent16: if the solicitor is not a raw the fact that either the cetrimide is non-Riemannian or it is not a menopause or both is false. sent17: if something is not an overturn it is mediate and inscriptive.
void -> assump1: Let's assume that the darts is not testate.; sent15 & assump1 -> int1: the acetate is a Hall that does not paragraph.; sent3 -> int2: the fact that the acetate is a Hall but it is not a kind of a paragraph does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the darts is testate is not incorrect.; sent17 -> int5: if the darts is not an overturn then it is mediate and inscriptive.; sent12 & sent4 -> int6: the darts is not an overturn.; int5 & int6 -> int7: the darts does mediate and is inscriptive.; int7 -> int8: the darts mediates.; int4 & int8 -> hypothesis;
the fact that the darts is both not intestate and mediate is false.
sent2 -> int9: the fact that the ponce is a kind of a synthesis and it is a Quincy does not hold.; sent11 & int9 -> int10: the ponce is not a corbel.; sent1 & int10 -> int11: that the anchor is both thyrotoxic and a raw is incorrect.; sent13 & int11 -> int12: the solicitor is not a kind of a raw.; sent16 & int12 -> int13: the fact that the cetrimide is not Riemannian and/or it is not a menopause is not right.; int13 -> int14: there is something such that that it is not Riemannian or it is not a menopause or both does not hold.; int14 & sent6 -> int15: the fact that the bain-marie is not inscriptive is not false.; int15 -> int16: there exists something such that it is not inscriptive.; int16 & sent10 -> int17: the fact that the MPS is an overturn and mediates is not right.; int17 -> int18: there exists something such that the fact that it is an overturn and it is mediate is not true.; int18 & sent9 -> int19: the acetate does not mediate.; int19 -> int20: there is something such that it is not mediate.;
$hypothesis$ = the darts is testate and mediates. ; $context$ = sent1: if the ponce is not a corbel that the anchor is thyrotoxic and it is raw is incorrect. sent2: there exists nothing such that it is a synthesis and it is a Quincy. sent3: there is nothing such that it is a Hall and is not a paragraph. sent4: the MPS is Riemannian and is a menopause. sent5: if the fact that something is both intestate and mediate does not hold that it is galactic is not wrong. sent6: the bain-marie is not inscriptive if there exists something such that the fact that it is not Riemannian or it is not a menopause or both does not hold. sent7: the darts is not non-inscriptive if the acetate does overturn. sent8: if the darts is galactic then the toller is galactic. sent9: the acetate is not mediate if there is something such that that it is both an overturn and mediate is wrong. sent10: if that there are non-inscriptive things is not false that the MPS is an overturn that mediates is incorrect. sent11: if that the ponce is a kind of a synthesis that is a Quincy is not correct then it is not a corbel. sent12: the darts is not an overturn if the MPS is both Riemannian and a menopause. sent13: the solicitor is not a raw if the fact that that the anchor is thyrotoxic and it is raw hold is not correct. sent14: the acetate overturns. sent15: the acetate is a Hall but not a paragraph if the darts is not testate. sent16: if the solicitor is not a raw the fact that either the cetrimide is non-Riemannian or it is not a menopause or both is false. sent17: if something is not an overturn it is mediate and inscriptive. ; $proof$ = 
void -> assump1: Let's assume that the darts is not testate.; sent15 & assump1 -> int1: the acetate is a Hall that does not paragraph.; sent3 -> int2: the fact that the acetate is a Hall but it is not a kind of a paragraph does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the darts is testate is not incorrect.; sent17 -> int5: if the darts is not an overturn then it is mediate and inscriptive.; sent12 & sent4 -> int6: the darts is not an overturn.; int5 & int6 -> int7: the darts does mediate and is inscriptive.; int7 -> int8: the darts mediates.; int4 & int8 -> hypothesis; __PROVED__