the wing-nut does not hatch.
sent1: if the bandit is not a bodkin and/or it is not exchangeable then the hindbrain is autocatalytic. sent2: the fact that the housefather is a kind of a propenal is correct if the fact that the bandit is not a bodkin or it is a kind of a Oriental or both does not hold. sent3: something that is a propenal does hatch. sent4: the goldfields is non-autocatalytic and does not steel Domingo. sent5: something is a amoralism if it tamps transmutation. sent6: the goldfields does not steel Domingo. sent7: the wing-nut is not a hatch if the fact that the hindbrain is both exchangeable and not valvular is false. sent8: the bandit is not a bodkin or it is a Oriental or both. sent9: the ascocarp is not autocatalytic if the goldfields is not autocatalytic and does not steel Domingo. sent10: the theodolite does tamp transmutation if the housefather is a kind of a propenal. sent11: the fact that the hindbrain is exchangeable and is not valvular does not hold if there exists something such that it is a amoralism. sent12: if the fact that either the bandit is not a bodkin or it is not a kind of a Oriental or both is incorrect the housefather is a propenal.
void -> assump1: Let's assume that the bandit either is not a bodkin or is not a Oriental or both.; sent9 & sent4 -> int1: the ascocarp is not autocatalytic.; sent5 -> int2: the theodolite is a amoralism if that it does tamp transmutation hold.;
the wing-nut is a hatch.
sent3 -> int3: if the wing-nut is a propenal then it does hatch.;
$hypothesis$ = the wing-nut does not hatch. ; $context$ = sent1: if the bandit is not a bodkin and/or it is not exchangeable then the hindbrain is autocatalytic. sent2: the fact that the housefather is a kind of a propenal is correct if the fact that the bandit is not a bodkin or it is a kind of a Oriental or both does not hold. sent3: something that is a propenal does hatch. sent4: the goldfields is non-autocatalytic and does not steel Domingo. sent5: something is a amoralism if it tamps transmutation. sent6: the goldfields does not steel Domingo. sent7: the wing-nut is not a hatch if the fact that the hindbrain is both exchangeable and not valvular is false. sent8: the bandit is not a bodkin or it is a Oriental or both. sent9: the ascocarp is not autocatalytic if the goldfields is not autocatalytic and does not steel Domingo. sent10: the theodolite does tamp transmutation if the housefather is a kind of a propenal. sent11: the fact that the hindbrain is exchangeable and is not valvular does not hold if there exists something such that it is a amoralism. sent12: if the fact that either the bandit is not a bodkin or it is not a kind of a Oriental or both is incorrect the housefather is a propenal. ; $proof$ = 
void -> assump1: Let's assume that the bandit either is not a bodkin or is not a Oriental or both.; sent9 & sent4 -> int1: the ascocarp is not autocatalytic.; sent5 -> int2: the theodolite is a amoralism if that it does tamp transmutation hold.; __UNKNOWN__