the mamo is a man-child.
sent1: something that is a Euthynnus does melanize tenderfoot. sent2: if the Utopian is not a Euthynnus then the mamo does melanize tenderfoot. sent3: something is not a echovirus but it is a pearl. sent4: the farmer does not repine phycobilin and does not suckle. sent5: if the outback is not clausal then the anchusa is a kind of a stander. sent6: something is a man-child if it melanizes tenderfoot. sent7: if the manservant suckles then it does repine phycobilin. sent8: the mamo is not a man-child if the fact that the outback is not a man-child and it is not clausal is wrong. sent9: the outback is not clausal if there is something such that the fact that it is not a kind of a echovirus and it pearls is incorrect. sent10: the anchusa is a kind of a stander. sent11: the fact that the anchusa is not clausal and/or is not a kind of a stander does not hold if the outback is not clausal. sent12: if the fact that the anchusa is not clausal and/or is not a stander is incorrect the farmer does melanize tapenade. sent13: there exists something such that the fact that it is not a echovirus and it pearls is false. sent14: there exists something such that the fact that it is a echovirus that pearls is not correct. sent15: the Utopian is a kind of a Euthynnus and/or does repine phycobilin. sent16: the farmer does suckle if that either the manservant does not melanize tapenade or it does repine phycobilin or both is not right. sent17: if the farmer does melanize tapenade then the manservant does suckle. sent18: if the Utopian is not a Euthynnus and/or does repine phycobilin then the mamo does melanize tenderfoot. sent19: that the outback is not clausal hold if there exists something such that it is a kind of a echovirus. sent20: the Utopian is a Euthynnus or it does repine phycobilin or both if the manservant repine phycobilin. sent21: either the Utopian is not a Euthynnus or it does repine phycobilin or both if the manservant repine phycobilin.
sent13 & sent9 -> int1: that the fact that the outback is clausal is right is not true.; int1 & sent11 -> int2: that the anchusa is either not clausal or not a stander or both is not right.; int2 & sent12 -> int3: the farmer does melanize tapenade.; int3 & sent17 -> int4: the manservant suckles.; int4 & sent7 -> int5: the manservant does repine phycobilin.; int5 & sent21 -> int6: the Utopian is not a Euthynnus or repines phycobilin or both.; int6 & sent18 -> int7: the mamo does melanize tenderfoot.; sent6 -> int8: if the mamo melanizes tenderfoot then it is a man-child.; int7 & int8 -> hypothesis;
the mamo is not a man-child.
sent4 -> int9: that the farmer suckles is not correct.;
$hypothesis$ = the mamo is a man-child. ; $context$ = sent1: something that is a Euthynnus does melanize tenderfoot. sent2: if the Utopian is not a Euthynnus then the mamo does melanize tenderfoot. sent3: something is not a echovirus but it is a pearl. sent4: the farmer does not repine phycobilin and does not suckle. sent5: if the outback is not clausal then the anchusa is a kind of a stander. sent6: something is a man-child if it melanizes tenderfoot. sent7: if the manservant suckles then it does repine phycobilin. sent8: the mamo is not a man-child if the fact that the outback is not a man-child and it is not clausal is wrong. sent9: the outback is not clausal if there is something such that the fact that it is not a kind of a echovirus and it pearls is incorrect. sent10: the anchusa is a kind of a stander. sent11: the fact that the anchusa is not clausal and/or is not a kind of a stander does not hold if the outback is not clausal. sent12: if the fact that the anchusa is not clausal and/or is not a stander is incorrect the farmer does melanize tapenade. sent13: there exists something such that the fact that it is not a echovirus and it pearls is false. sent14: there exists something such that the fact that it is a echovirus that pearls is not correct. sent15: the Utopian is a kind of a Euthynnus and/or does repine phycobilin. sent16: the farmer does suckle if that either the manservant does not melanize tapenade or it does repine phycobilin or both is not right. sent17: if the farmer does melanize tapenade then the manservant does suckle. sent18: if the Utopian is not a Euthynnus and/or does repine phycobilin then the mamo does melanize tenderfoot. sent19: that the outback is not clausal hold if there exists something such that it is a kind of a echovirus. sent20: the Utopian is a Euthynnus or it does repine phycobilin or both if the manservant repine phycobilin. sent21: either the Utopian is not a Euthynnus or it does repine phycobilin or both if the manservant repine phycobilin. ; $proof$ = 
sent13 & sent9 -> int1: that the fact that the outback is clausal is right is not true.; int1 & sent11 -> int2: that the anchusa is either not clausal or not a stander or both is not right.; int2 & sent12 -> int3: the farmer does melanize tapenade.; int3 & sent17 -> int4: the manservant suckles.; int4 & sent7 -> int5: the manservant does repine phycobilin.; int5 & sent21 -> int6: the Utopian is not a Euthynnus or repines phycobilin or both.; int6 & sent18 -> int7: the mamo does melanize tenderfoot.; sent6 -> int8: if the mamo melanizes tenderfoot then it is a man-child.; int7 & int8 -> hypothesis; __PROVED__