the bouffant backs but it does not animate.
sent1: something is both not unlikable and gonadotropic if it does not overdose. sent2: the choirmaster is a kind of a waterwheel if that it determines Johnston is not wrong. sent3: the fact that the fergusonite is gonadotropic thing that does overdose is not true if something does not determine caduceus. sent4: the choirmaster does determine Johnston or it is not untruthful or both if the diethylstilbesterol is unlikable. sent5: the diethylstilbesterol is unlikable. sent6: if there is something such that it is not a waterwheel and it is a back the bouffant does not determine Johnston. sent7: there exists something such that it does not determine caduceus. sent8: the superior is not unlikable if there is something such that that it is gonadotropic thing that overdoses is false. sent9: if the superior is not unlikable then it is a kind of a waterwheel and it is not untruthful. sent10: if something is not untruthful then it is a waterwheel. sent11: if the choirmaster is a waterwheel the bouffant does not animate. sent12: if there is something such that it is not unlikable the diethylstilbesterol is not a waterwheel but it is a kind of a back. sent13: if the bouffant is untruthful the choirmaster does not animate. sent14: the fact that the cinema determines Johnston and is not untruthful is not true if there is something such that it does not determines Johnston. sent15: the superior does not overdose. sent16: if something determines Johnston then that it does back and it is inanimate does not hold. sent17: the choirmaster is untruthful or is not a back or both. sent18: that something does determine cinema hold if it is not a mannequin. sent19: the bouffant is inanimate. sent20: that the diethylstilbesterol is untruthful is not incorrect if the superior is a waterwheel but it is not untruthful.
sent10 -> int1: the fact that the choirmaster is not a kind of a waterwheel does not hold if it is not untruthful.; sent4 & sent5 -> int2: the choirmaster determines Johnston and/or is not untruthful.; int1 & int2 & sent2 -> int3: the choirmaster is a waterwheel.;
the cinema does animate.
sent7 & sent3 -> int4: the fact that the fergusonite is gonadotropic and overdoses is not right.; int4 -> int5: there exists something such that that it is a kind of gonadotropic thing that overdoses is not correct.; int5 & sent8 -> int6: the superior is not unlikable.; int6 -> int7: there is something such that it is not unlikable.; int7 & sent12 -> int8: the diethylstilbesterol is not a waterwheel but it is a back.; int8 -> int9: something is not a waterwheel but it is a back.; int9 & sent6 -> int10: the bouffant does not determine Johnston.; int10 -> int11: there is something such that it does not determine Johnston.; int11 & sent14 -> int12: that the cinema does determine Johnston but it is not untruthful does not hold.;
$hypothesis$ = the bouffant backs but it does not animate. ; $context$ = sent1: something is both not unlikable and gonadotropic if it does not overdose. sent2: the choirmaster is a kind of a waterwheel if that it determines Johnston is not wrong. sent3: the fact that the fergusonite is gonadotropic thing that does overdose is not true if something does not determine caduceus. sent4: the choirmaster does determine Johnston or it is not untruthful or both if the diethylstilbesterol is unlikable. sent5: the diethylstilbesterol is unlikable. sent6: if there is something such that it is not a waterwheel and it is a back the bouffant does not determine Johnston. sent7: there exists something such that it does not determine caduceus. sent8: the superior is not unlikable if there is something such that that it is gonadotropic thing that overdoses is false. sent9: if the superior is not unlikable then it is a kind of a waterwheel and it is not untruthful. sent10: if something is not untruthful then it is a waterwheel. sent11: if the choirmaster is a waterwheel the bouffant does not animate. sent12: if there is something such that it is not unlikable the diethylstilbesterol is not a waterwheel but it is a kind of a back. sent13: if the bouffant is untruthful the choirmaster does not animate. sent14: the fact that the cinema determines Johnston and is not untruthful is not true if there is something such that it does not determines Johnston. sent15: the superior does not overdose. sent16: if something determines Johnston then that it does back and it is inanimate does not hold. sent17: the choirmaster is untruthful or is not a back or both. sent18: that something does determine cinema hold if it is not a mannequin. sent19: the bouffant is inanimate. sent20: that the diethylstilbesterol is untruthful is not incorrect if the superior is a waterwheel but it is not untruthful. ; $proof$ = 
sent10 -> int1: the fact that the choirmaster is not a kind of a waterwheel does not hold if it is not untruthful.; sent4 & sent5 -> int2: the choirmaster determines Johnston and/or is not untruthful.; int1 & int2 & sent2 -> int3: the choirmaster is a waterwheel.; __UNKNOWN__