the Chandler is not defiant.
sent1: the Chandler is a spearmint but it is not a Armageddon if the cretonne does neglect phrase. sent2: if something is a documented then it neglects phrase. sent3: The goldfinch does not stud cretonne. sent4: the Chandler is not defiant if the cretonne does not nest knight. sent5: a spearmint that is not a Armageddon is not a kind of a fat. sent6: if that either something is defiant or it is a miro or both is false then the fact that it does not stud goldfinch hold. sent7: the fact that something is defiant and/or it is a kind of a miro is not correct if it is not a kind of a fat. sent8: the fact that the defaulter is luteal and it is a subduction is not right. sent9: the beanstalk either is aciculate or grins or both. sent10: that something does nest plaza and it does nest knight is incorrect if it does not stud goldfinch. sent11: the cretonne does not stud goldfinch. sent12: if the cretonne does not stud goldfinch that it nests knight and uncloaks is false. sent13: the Chandler is not defiant if that the cretonne nests knight and it uncloaks is incorrect.
sent12 & sent11 -> int1: that the cretonne does nest knight and uncloaks is not true.; sent13 & int1 -> hypothesis;
the fact that the Chandler does nest plaza and it nests knight is not true.
sent10 -> int2: that the Chandler does nest plaza and it does nest knight is incorrect if it does not stud goldfinch.; sent6 -> int3: if the fact that the Chandler is defiant or it is a miro or both does not hold then that it does not stud goldfinch hold.; sent7 -> int4: that the fact that the Chandler either is defiant or is a miro or both hold does not hold if it is not a fat.; sent5 -> int5: the Chandler is not fat if it is a spearmint and it is not a Armageddon.; sent2 -> int6: the cretonne does neglect phrase if that it is a documented is not incorrect.;
$hypothesis$ = the Chandler is not defiant. ; $context$ = sent1: the Chandler is a spearmint but it is not a Armageddon if the cretonne does neglect phrase. sent2: if something is a documented then it neglects phrase. sent3: The goldfinch does not stud cretonne. sent4: the Chandler is not defiant if the cretonne does not nest knight. sent5: a spearmint that is not a Armageddon is not a kind of a fat. sent6: if that either something is defiant or it is a miro or both is false then the fact that it does not stud goldfinch hold. sent7: the fact that something is defiant and/or it is a kind of a miro is not correct if it is not a kind of a fat. sent8: the fact that the defaulter is luteal and it is a subduction is not right. sent9: the beanstalk either is aciculate or grins or both. sent10: that something does nest plaza and it does nest knight is incorrect if it does not stud goldfinch. sent11: the cretonne does not stud goldfinch. sent12: if the cretonne does not stud goldfinch that it nests knight and uncloaks is false. sent13: the Chandler is not defiant if that the cretonne nests knight and it uncloaks is incorrect. ; $proof$ = 
sent12 & sent11 -> int1: that the cretonne does nest knight and uncloaks is not true.; sent13 & int1 -> hypothesis; __PROVED__