the Zuni is a square-rigger.
sent1: if that either the muff is not undiplomatic or it is a coho or both does not hold it is altricial. sent2: something is not a Aertex and is not anaclitic if the fact that it is not a flirt is not false. sent3: something overturns Catharanthus. sent4: if the muff does group Ka and is a polynomial the Zuni does not flirt. sent5: that something is not a Aertex is not false if it is not a flirt. sent6: the Zuni is not a Aertex. sent7: the muff is a polynomial. sent8: that if that the muff is not undiplomatic and/or it is not the coho is wrong the muff is not non-altricial is true. sent9: if there is something such that it overturns Catharanthus then the muff is a kind of a coho. sent10: something that does not overturn Catharanthus and/or is undiplomatic is not a square-rigger. sent11: the muff is a kind of a coho. sent12: if the Zuni is both a Aertex and not anaclitic then it is a square-rigger. sent13: something groups Ka if the fact that it is altricial is not false. sent14: if the Zuni is not a Aertex and not anaclitic then it is a square-rigger. sent15: the fact that the muff is not undiplomatic or not a coho or both is wrong if there is something such that it overturns Catharanthus.
sent3 & sent15 -> int1: the fact that the muff is not undiplomatic or it is not a coho or both is not correct.; int1 & sent8 -> int2: the muff is altricial.; sent13 -> int3: if the muff is altricial then it groups Ka.; int2 & int3 -> int4: the muff groups Ka.; int4 & sent7 -> int5: the muff does group Ka and it is a polynomial.; int5 & sent4 -> int6: the Zuni does not flirt.; sent2 -> int7: the Zuni is not a Aertex and it is not anaclitic if it does not flirt.; int6 & int7 -> int8: the Zuni is both not a Aertex and not anaclitic.; int8 & sent14 -> hypothesis;
the Zuni is not a square-rigger.
sent10 -> int9: the Zuni is not a square-rigger if it does not overturn Catharanthus and/or it is undiplomatic.;
$hypothesis$ = the Zuni is a square-rigger. ; $context$ = sent1: if that either the muff is not undiplomatic or it is a coho or both does not hold it is altricial. sent2: something is not a Aertex and is not anaclitic if the fact that it is not a flirt is not false. sent3: something overturns Catharanthus. sent4: if the muff does group Ka and is a polynomial the Zuni does not flirt. sent5: that something is not a Aertex is not false if it is not a flirt. sent6: the Zuni is not a Aertex. sent7: the muff is a polynomial. sent8: that if that the muff is not undiplomatic and/or it is not the coho is wrong the muff is not non-altricial is true. sent9: if there is something such that it overturns Catharanthus then the muff is a kind of a coho. sent10: something that does not overturn Catharanthus and/or is undiplomatic is not a square-rigger. sent11: the muff is a kind of a coho. sent12: if the Zuni is both a Aertex and not anaclitic then it is a square-rigger. sent13: something groups Ka if the fact that it is altricial is not false. sent14: if the Zuni is not a Aertex and not anaclitic then it is a square-rigger. sent15: the fact that the muff is not undiplomatic or not a coho or both is wrong if there is something such that it overturns Catharanthus. ; $proof$ = 
sent3 & sent15 -> int1: the fact that the muff is not undiplomatic or it is not a coho or both is not correct.; int1 & sent8 -> int2: the muff is altricial.; sent13 -> int3: if the muff is altricial then it groups Ka.; int2 & int3 -> int4: the muff groups Ka.; int4 & sent7 -> int5: the muff does group Ka and it is a polynomial.; int5 & sent4 -> int6: the Zuni does not flirt.; sent2 -> int7: the Zuni is not a Aertex and it is not anaclitic if it does not flirt.; int6 & int7 -> int8: the Zuni is both not a Aertex and not anaclitic.; int8 & sent14 -> hypothesis; __PROVED__