the chicken is not a beggarwoman.
sent1: the chicken chisels. sent2: the chicken is bold. sent3: the chicken is not a kind of a beggarwoman if the etui is a blaring. sent4: that something is a blaring that is not a kind of an insistence is false if it is not unshrinkable. sent5: something is not a kind of a conference and/or it reports Culex. sent6: if that the etui does report Culex is not wrong then it is not unshrinkable. sent7: if something is a kind of a beggarwoman then it is bold. sent8: either the etui does report Culex or it is a conference or both. sent9: something is a kind of an insistence and it is a blaring if the fact that it is not unshrinkable is not wrong. sent10: if something is not a beggarwoman then that the tongue is not bold but it is a beggarwoman is incorrect. sent11: the chicken is a blaring if it is bold. sent12: if something is a blaring it is a kind of a beggarwoman. sent13: something is a freeholder if it is not non-hadal.
sent11 & sent2 -> int1: the chicken is a kind of a blaring.; sent12 -> int2: if the chicken is a blaring it is a beggarwoman.; int1 & int2 -> hypothesis;
the chicken is not a beggarwoman.
sent4 -> int3: the fact that the etui is both a blaring and not an insistence is false if it is not unshrinkable.;
$hypothesis$ = the chicken is not a beggarwoman. ; $context$ = sent1: the chicken chisels. sent2: the chicken is bold. sent3: the chicken is not a kind of a beggarwoman if the etui is a blaring. sent4: that something is a blaring that is not a kind of an insistence is false if it is not unshrinkable. sent5: something is not a kind of a conference and/or it reports Culex. sent6: if that the etui does report Culex is not wrong then it is not unshrinkable. sent7: if something is a kind of a beggarwoman then it is bold. sent8: either the etui does report Culex or it is a conference or both. sent9: something is a kind of an insistence and it is a blaring if the fact that it is not unshrinkable is not wrong. sent10: if something is not a beggarwoman then that the tongue is not bold but it is a beggarwoman is incorrect. sent11: the chicken is a blaring if it is bold. sent12: if something is a blaring it is a kind of a beggarwoman. sent13: something is a freeholder if it is not non-hadal. ; $proof$ = 
sent11 & sent2 -> int1: the chicken is a kind of a blaring.; sent12 -> int2: if the chicken is a blaring it is a beggarwoman.; int1 & int2 -> hypothesis; __DISPROVED__