the automat distends.
sent1: the toe is not a African. sent2: if the drove is not a Lima then the fact that the toe is a Lima but it is not rotational does not hold. sent3: if the fact that the toe is not rotational but it does calve is wrong then the aerie is not African. sent4: if the aerie is a kind of non-congenial thing that calves the drove is not a kind of a Lima. sent5: the fact that the toe is a Lima and rotational is not right if the drove is not a Lima. sent6: that the baboon does calve and it is amicable is incorrect if the aerie is not amicable. sent7: if the aerie is congenial thing that calves the drove is not a Lima. sent8: if that the toe is a kind of a Lima that is not rotational is wrong it is a African. sent9: the fact that the sluggard does not spiral imipramine is correct if the aerie is congenial. sent10: a rotational thing either is African or is not a kind of a Lima or both. sent11: if that the baboon is amicable thing that spirals imipramine is wrong the automat does not distend. sent12: if the drove is not rotational and is amicable then the aerie is rotational. sent13: that the aerie is congenial and it calves is incorrect. sent14: that the aerie is not congenial is not wrong. sent15: if the baboon does not spiral imipramine then the automat does not distend. sent16: if the sluggard does not spiral imipramine then the fact that the baboon is amicable thing that does spiral imipramine does not hold. sent17: if that the aerie is not congenial but it does calve is not right then the sluggard does not spiral imipramine. sent18: the fact that if the toe is rotational the toe is a African is not false. sent19: that the toe is a Lima and is rotational is wrong. sent20: that the drove is not a African hold. sent21: the automat is African and it does distend if the fact that the aerie is not a Lima is not incorrect.
void -> assump1: Let's assume that the aerie is not congenial but it does calve.; sent4 & assump1 -> int1: the drove is not a kind of a Lima.; int1 & sent2 -> int2: that the toe is a Lima but it is not rotational does not hold.; int2 & sent8 -> int3: that the toe is a African hold.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the aerie is uncongenial and does calve is false.; int5 & sent17 -> int6: the sluggard does not spiral imipramine.; int6 & sent16 -> int7: the fact that the baboon is amicable and does spiral imipramine is not true.; int7 & sent11 -> hypothesis;
the automat distends.
$hypothesis$ = the automat distends. ; $context$ = sent1: the toe is not a African. sent2: if the drove is not a Lima then the fact that the toe is a Lima but it is not rotational does not hold. sent3: if the fact that the toe is not rotational but it does calve is wrong then the aerie is not African. sent4: if the aerie is a kind of non-congenial thing that calves the drove is not a kind of a Lima. sent5: the fact that the toe is a Lima and rotational is not right if the drove is not a Lima. sent6: that the baboon does calve and it is amicable is incorrect if the aerie is not amicable. sent7: if the aerie is congenial thing that calves the drove is not a Lima. sent8: if that the toe is a kind of a Lima that is not rotational is wrong it is a African. sent9: the fact that the sluggard does not spiral imipramine is correct if the aerie is congenial. sent10: a rotational thing either is African or is not a kind of a Lima or both. sent11: if that the baboon is amicable thing that spirals imipramine is wrong the automat does not distend. sent12: if the drove is not rotational and is amicable then the aerie is rotational. sent13: that the aerie is congenial and it calves is incorrect. sent14: that the aerie is not congenial is not wrong. sent15: if the baboon does not spiral imipramine then the automat does not distend. sent16: if the sluggard does not spiral imipramine then the fact that the baboon is amicable thing that does spiral imipramine does not hold. sent17: if that the aerie is not congenial but it does calve is not right then the sluggard does not spiral imipramine. sent18: the fact that if the toe is rotational the toe is a African is not false. sent19: that the toe is a Lima and is rotational is wrong. sent20: that the drove is not a African hold. sent21: the automat is African and it does distend if the fact that the aerie is not a Lima is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the aerie is not congenial but it does calve.; sent4 & assump1 -> int1: the drove is not a kind of a Lima.; int1 & sent2 -> int2: that the toe is a Lima but it is not rotational does not hold.; int2 & sent8 -> int3: that the toe is a African hold.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the aerie is uncongenial and does calve is false.; int5 & sent17 -> int6: the sluggard does not spiral imipramine.; int6 & sent16 -> int7: the fact that the baboon is amicable and does spiral imipramine is not true.; int7 & sent11 -> hypothesis; __DISPROVED__