that the costmary is not a Gambian but it is a Corylus is incorrect.
sent1: the costmary is not an empress and it is not meteoritic. sent2: that the overlord lurches and it is a Gambian is false. sent3: there exists something such that the fact that it is usufructuary thing that is a Paige does not hold. sent4: the Pastor is not a Gambian. sent5: the fact that the latchet is not parenteral and not non-diaphoretic is not correct. sent6: the capillarity is not diaphoretic if the overlord does not officialize terminus and is Gambian. sent7: if the latchet is both not concave and parenteral the machmeter is not a Paige. sent8: there exists something such that that it is a kind of parenteral a Gambian is not true. sent9: if that the capillarity does not officialize terminus is not incorrect the overlord is not a kind of a Gambian. sent10: if the machmeter does misbehave it is a Paige. sent11: that the machmeter is not a kind of a Paige and is diaphoretic is wrong if the staggerer is not a kind of a Paige. sent12: if the overlord is not a Gambian the fact that the costmary is not a Gambian but a Corylus is false. sent13: the latchet is non-concave thing that is parenteral. sent14: the capillarity does not officialize terminus if the machmeter does not lurch and it does not misbehave. sent15: the overlord does not misbehave if the latchet is not parenteral and is not a Gambian. sent16: that the staggerer is not a kind of a diaphoretic and does officialize terminus is not true. sent17: something is non-Gambian a Corylus if it misbehaves. sent18: that the staggerer is a diaphoretic and it is a usufructuary is not correct. sent19: the overlord is not agential. sent20: the fact that the capillarity does not officialize terminus and is parenteral is false.
void -> assump1: Let's assume that the machmeter does misbehave.; sent10 & assump1 -> int1: the machmeter is a Paige.; sent7 & sent13 -> int2: the machmeter is not a Paige.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the machmeter does not misbehave.; sent18 -> int5: there exists something such that the fact that it is diaphoretic and it is not non-usufructuary is not correct.;
the fact that the costmary is not a Gambian but a Corylus hold.
sent17 -> int6: the costmary is not a Gambian and is a kind of a Corylus if it misbehaves.;
$hypothesis$ = that the costmary is not a Gambian but it is a Corylus is incorrect. ; $context$ = sent1: the costmary is not an empress and it is not meteoritic. sent2: that the overlord lurches and it is a Gambian is false. sent3: there exists something such that the fact that it is usufructuary thing that is a Paige does not hold. sent4: the Pastor is not a Gambian. sent5: the fact that the latchet is not parenteral and not non-diaphoretic is not correct. sent6: the capillarity is not diaphoretic if the overlord does not officialize terminus and is Gambian. sent7: if the latchet is both not concave and parenteral the machmeter is not a Paige. sent8: there exists something such that that it is a kind of parenteral a Gambian is not true. sent9: if that the capillarity does not officialize terminus is not incorrect the overlord is not a kind of a Gambian. sent10: if the machmeter does misbehave it is a Paige. sent11: that the machmeter is not a kind of a Paige and is diaphoretic is wrong if the staggerer is not a kind of a Paige. sent12: if the overlord is not a Gambian the fact that the costmary is not a Gambian but a Corylus is false. sent13: the latchet is non-concave thing that is parenteral. sent14: the capillarity does not officialize terminus if the machmeter does not lurch and it does not misbehave. sent15: the overlord does not misbehave if the latchet is not parenteral and is not a Gambian. sent16: that the staggerer is not a kind of a diaphoretic and does officialize terminus is not true. sent17: something is non-Gambian a Corylus if it misbehaves. sent18: that the staggerer is a diaphoretic and it is a usufructuary is not correct. sent19: the overlord is not agential. sent20: the fact that the capillarity does not officialize terminus and is parenteral is false. ; $proof$ = 
void -> assump1: Let's assume that the machmeter does misbehave.; sent10 & assump1 -> int1: the machmeter is a Paige.; sent7 & sent13 -> int2: the machmeter is not a Paige.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the machmeter does not misbehave.; sent18 -> int5: there exists something such that the fact that it is diaphoretic and it is not non-usufructuary is not correct.; __UNKNOWN__