the mesohippus is anencephalic.
sent1: the mesohippus is anencephalic if it is appointive. sent2: if there exists something such that it is not insatiate the fact that the freeloader is not oracular but it is not non-aspectual is not true. sent3: the farmerette is not non-closed but it is not a disenfranchisement if the mesohippus does not satiate. sent4: the fact that something is not a Leander and it is not palatine is incorrect if it does not splat surrogate. sent5: the mesohippus is not anencephalic if the farmerette is not anencephalic. sent6: the swag is both a wait and not a Rwandan. sent7: if there exists something such that it waits and it is not a Rwandan the bridal-wreath does not splat surrogate. sent8: if something does not inject it is appointive. sent9: if the fondler is not a kind of a disenfranchisement then the farmerette does inject and it does close. sent10: the farmerette closes if the mesohippus does not satiate. sent11: the fondler is appointive and it is anencephalic. sent12: that that something does not inject and does satiate is not true if it is closed is not incorrect. sent13: the mesohippus is appointive if it does not inject. sent14: the fondler does close if the boot is a disenfranchisement. sent15: if that something does not inject but it is appointive is false then that it closes is correct. sent16: if the farmerette does not inject then the mesohippus is a disenfranchisement but it is not satiate. sent17: if the fact that something is a kind of non-appointive thing that is anencephalic does not hold it is a kind of a disenfranchisement. sent18: the fact that the mesohippus does inject hold. sent19: if the fact that the fondler does not inject and does satiate is not right then the farmerette is not anencephalic. sent20: something is appointive if that it is a kind of a Leander is true. sent21: the farmerette is closed. sent22: if something is appointive it is a disenfranchisement. sent23: if the fact that something is a kind of insatiate thing that injects does not hold then it is appointive.
void -> assump1: Let's assume that the mesohippus is not satiate but it injects.; assump1 -> int1: the mesohippus does not satiate.; int1 & sent3 -> int2: the farmerette is a kind of closed thing that is not a kind of a disenfranchisement.; sent23 -> int3: if the fact that the mesohippus is insatiate thing that does inject is not right the fact that it is appointive is not incorrect.;
that the mesohippus is not anencephalic hold.
sent12 -> int4: that if the fondler is not non-closed then that the fondler does not inject and is satiate is incorrect is correct.; sent22 -> int5: if the boot is appointive the fact that it is a disenfranchisement is true.; sent20 -> int6: if the boot is a Leander it is appointive.; sent4 -> int7: if the bridal-wreath does not splat surrogate then that it is not a Leander and it is not a palatine does not hold.; sent6 -> int8: there is something such that it is a wait and not Rwandan.; int8 & sent7 -> int9: the bridal-wreath does not splat surrogate.; int7 & int9 -> int10: that the bridal-wreath is not a kind of a Leander and it is not a kind of a palatine does not hold.; int10 -> int11: there is something such that that it is not a Leander and it is not a kind of a palatine is false.;
$hypothesis$ = the mesohippus is anencephalic. ; $context$ = sent1: the mesohippus is anencephalic if it is appointive. sent2: if there exists something such that it is not insatiate the fact that the freeloader is not oracular but it is not non-aspectual is not true. sent3: the farmerette is not non-closed but it is not a disenfranchisement if the mesohippus does not satiate. sent4: the fact that something is not a Leander and it is not palatine is incorrect if it does not splat surrogate. sent5: the mesohippus is not anencephalic if the farmerette is not anencephalic. sent6: the swag is both a wait and not a Rwandan. sent7: if there exists something such that it waits and it is not a Rwandan the bridal-wreath does not splat surrogate. sent8: if something does not inject it is appointive. sent9: if the fondler is not a kind of a disenfranchisement then the farmerette does inject and it does close. sent10: the farmerette closes if the mesohippus does not satiate. sent11: the fondler is appointive and it is anencephalic. sent12: that that something does not inject and does satiate is not true if it is closed is not incorrect. sent13: the mesohippus is appointive if it does not inject. sent14: the fondler does close if the boot is a disenfranchisement. sent15: if that something does not inject but it is appointive is false then that it closes is correct. sent16: if the farmerette does not inject then the mesohippus is a disenfranchisement but it is not satiate. sent17: if the fact that something is a kind of non-appointive thing that is anencephalic does not hold it is a kind of a disenfranchisement. sent18: the fact that the mesohippus does inject hold. sent19: if the fact that the fondler does not inject and does satiate is not right then the farmerette is not anencephalic. sent20: something is appointive if that it is a kind of a Leander is true. sent21: the farmerette is closed. sent22: if something is appointive it is a disenfranchisement. sent23: if the fact that something is a kind of insatiate thing that injects does not hold then it is appointive. ; $proof$ = 
void -> assump1: Let's assume that the mesohippus is not satiate but it injects.; assump1 -> int1: the mesohippus does not satiate.; int1 & sent3 -> int2: the farmerette is a kind of closed thing that is not a kind of a disenfranchisement.; sent23 -> int3: if the fact that the mesohippus is insatiate thing that does inject is not right the fact that it is appointive is not incorrect.; __UNKNOWN__