the charnel is unshrinkable.
sent1: the MPS is both vocalic and not two-piece. sent2: the coydog does not uplift critter or is a Psychodidae or both. sent3: that the coydog does not uplift critter but it is a gofer is not right if the hideout is a Psychodidae. sent4: if the coydog is a gofer then the charnel is non-unshrinkable thing that does uplift critter. sent5: something is alimentative but it is not a kind of a Psychodidae if it is not biotypic. sent6: the lightweight does not interfere leash if it is not a gofer. sent7: the critter does not uplift critter if the coydog is a kind of a Psychodidae. sent8: that the fact that the hideout is thermostatic but it is not congeneric does not hold if there exists something such that it dwarfs scorpaenoid is true. sent9: the fact that something is not a gofer but a Psychodidae is incorrect if it is not non-thermostatic. sent10: something is alimentative if it does not uplift critter. sent11: the coydog is alimentative and/or is a Psychodidae. sent12: if the coydog does not uplift critter or it is a Psychodidae or both the critter does not uplift critter. sent13: the charnel is not a kind of a Psychodidae. sent14: the charnel uplifts critter if the coydog is unshrinkable but not alimentative. sent15: something is a gofer if the fact that it is not a Psychodidae hold. sent16: a cambial thing does dwarf scorpaenoid. sent17: if the critter does not uplift critter it is alimentative. sent18: the charnel is unshrinkable if the critter is both not non-alimentative and non-biotypic. sent19: the critter is alimentative but it is not unshrinkable. sent20: the critter is alimentative. sent21: if that something is thermostatic but it is not congeneric does not hold it is not thermostatic. sent22: the PDA does not uplift critter. sent23: if that the MPS is not a kind of a two-piece is not incorrect it is cambial.
sent12 & sent2 -> int1: that the critter does not uplift critter is not incorrect.;
the charnel is not unshrinkable.
sent15 -> int2: the coydog is a gofer if it is not a Psychodidae.; sent21 -> int3: if that the hideout is thermostatic but it is not congeneric is not true it is not thermostatic.; sent16 -> int4: if the MPS is cambial then it does dwarf scorpaenoid.; sent1 -> int5: the MPS is not a two-piece.; sent23 & int5 -> int6: the MPS is cambial.; int4 & int6 -> int7: the MPS dwarfs scorpaenoid.; int7 -> int8: something does dwarf scorpaenoid.; int8 & sent8 -> int9: the fact that the hideout is both thermostatic and not congeneric is false.; int3 & int9 -> int10: the hideout is not thermostatic.; int10 -> int11: there are non-thermostatic things.;
$hypothesis$ = the charnel is unshrinkable. ; $context$ = sent1: the MPS is both vocalic and not two-piece. sent2: the coydog does not uplift critter or is a Psychodidae or both. sent3: that the coydog does not uplift critter but it is a gofer is not right if the hideout is a Psychodidae. sent4: if the coydog is a gofer then the charnel is non-unshrinkable thing that does uplift critter. sent5: something is alimentative but it is not a kind of a Psychodidae if it is not biotypic. sent6: the lightweight does not interfere leash if it is not a gofer. sent7: the critter does not uplift critter if the coydog is a kind of a Psychodidae. sent8: that the fact that the hideout is thermostatic but it is not congeneric does not hold if there exists something such that it dwarfs scorpaenoid is true. sent9: the fact that something is not a gofer but a Psychodidae is incorrect if it is not non-thermostatic. sent10: something is alimentative if it does not uplift critter. sent11: the coydog is alimentative and/or is a Psychodidae. sent12: if the coydog does not uplift critter or it is a Psychodidae or both the critter does not uplift critter. sent13: the charnel is not a kind of a Psychodidae. sent14: the charnel uplifts critter if the coydog is unshrinkable but not alimentative. sent15: something is a gofer if the fact that it is not a Psychodidae hold. sent16: a cambial thing does dwarf scorpaenoid. sent17: if the critter does not uplift critter it is alimentative. sent18: the charnel is unshrinkable if the critter is both not non-alimentative and non-biotypic. sent19: the critter is alimentative but it is not unshrinkable. sent20: the critter is alimentative. sent21: if that something is thermostatic but it is not congeneric does not hold it is not thermostatic. sent22: the PDA does not uplift critter. sent23: if that the MPS is not a kind of a two-piece is not incorrect it is cambial. ; $proof$ = 
sent12 & sent2 -> int1: that the critter does not uplift critter is not incorrect.; __UNKNOWN__