the chicken does not linger.
sent1: the card does not hypothecate swoosh. sent2: the fact that if the subjectivist lingers the hotbox does lingers is true. sent3: if something that is a Catawba is a grampus it does not linger. sent4: the subcompact does not hypothecate swoosh if something is a traffic or it is a solvent or both. sent5: the sewage hypothecates cyclooxygenase-1 and is not permissible. sent6: the chicken hypothecates swoosh. sent7: the bridge does not quit if it does hypothecate level and does not foreshow sulfamethazine. sent8: the chicken does not hypothecate level if it is a kind of a grampus. sent9: the chicken hypothecates level and it hypothecates swoosh. sent10: the chicken is truthful thing that does hypothecate swoosh. sent11: the subjectivist does linger and it hypothecates level if there exists something such that that it does hypothecate swoosh does not hold. sent12: something is not a kind of a Catawba if it is a grampus that does not hypothecate level. sent13: if the chicken is both a Catawba and a grampus it does not linger. sent14: if something is not a kind of a facilitator then it is a traffic and/or it is a solvent. sent15: there is nothing such that it is interfacial but not a lout. sent16: the chicken is not a kind of a grampus. sent17: the adjuster is not a facilitator if something hypothecates lust and it does doctor Bremen. sent18: the chicken does foreshow subcompact and it is a kind of a pileup. sent19: the chicken is a subvention and it is a goddaughter. sent20: if that something is interfacial thing that is not a lout is not right it does not lend. sent21: the fact that the chicken does not hypothecate level hold if the fact that it is a kind of a Catawba that is not a grampus is not right. sent22: something that does not lend hypothecates lust and does doctor Bremen.
void -> assump1: Let's assume that that the chicken is a Catawba and is not a kind of a grampus is false.; sent21 & assump1 -> int1: the chicken does not hypothecate level.; sent9 -> int2: the chicken hypothecates level.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chicken is a kind of a Catawba but it is not a grampus.;
the fact that the chicken lingers is true.
sent14 -> int5: if the adjuster is not a facilitator either it is a traffic or it is a solvent or both.; sent22 -> int6: if that the Eden does not lend is correct it hypothecates lust and it doctors Bremen.; sent20 -> int7: the bonobo does not lend if that it is not non-interfacial and it is not a lout does not hold.; sent15 -> int8: the fact that the fact that the bonobo is interfacial but not a lout is correct is not true.; int7 & int8 -> int9: the bonobo does not lend.; int9 -> int10: everything does not lend.; int10 -> int11: the Eden does not lend.; int6 & int11 -> int12: the Eden does hypothecate lust and it does doctor Bremen.; int12 -> int13: everything hypothecates lust and it does doctor Bremen.; int13 -> int14: the breeze does hypothecate lust and it does doctor Bremen.; int14 -> int15: something hypothecates lust and doctors Bremen.; int15 & sent17 -> int16: the adjuster is not a facilitator.; int5 & int16 -> int17: the adjuster traffics and/or is solvent.; int17 -> int18: something traffics and/or it is a solvent.; int18 & sent4 -> int19: the subcompact does not hypothecate swoosh.; int19 -> int20: there exists something such that it does not hypothecate swoosh.; int20 & sent11 -> int21: the subjectivist does linger and does hypothecate level.; int21 -> int22: the subjectivist does linger.; sent2 & int22 -> int23: the hotbox does linger.;
$hypothesis$ = the chicken does not linger. ; $context$ = sent1: the card does not hypothecate swoosh. sent2: the fact that if the subjectivist lingers the hotbox does lingers is true. sent3: if something that is a Catawba is a grampus it does not linger. sent4: the subcompact does not hypothecate swoosh if something is a traffic or it is a solvent or both. sent5: the sewage hypothecates cyclooxygenase-1 and is not permissible. sent6: the chicken hypothecates swoosh. sent7: the bridge does not quit if it does hypothecate level and does not foreshow sulfamethazine. sent8: the chicken does not hypothecate level if it is a kind of a grampus. sent9: the chicken hypothecates level and it hypothecates swoosh. sent10: the chicken is truthful thing that does hypothecate swoosh. sent11: the subjectivist does linger and it hypothecates level if there exists something such that that it does hypothecate swoosh does not hold. sent12: something is not a kind of a Catawba if it is a grampus that does not hypothecate level. sent13: if the chicken is both a Catawba and a grampus it does not linger. sent14: if something is not a kind of a facilitator then it is a traffic and/or it is a solvent. sent15: there is nothing such that it is interfacial but not a lout. sent16: the chicken is not a kind of a grampus. sent17: the adjuster is not a facilitator if something hypothecates lust and it does doctor Bremen. sent18: the chicken does foreshow subcompact and it is a kind of a pileup. sent19: the chicken is a subvention and it is a goddaughter. sent20: if that something is interfacial thing that is not a lout is not right it does not lend. sent21: the fact that the chicken does not hypothecate level hold if the fact that it is a kind of a Catawba that is not a grampus is not right. sent22: something that does not lend hypothecates lust and does doctor Bremen. ; $proof$ = 
void -> assump1: Let's assume that that the chicken is a Catawba and is not a kind of a grampus is false.; sent21 & assump1 -> int1: the chicken does not hypothecate level.; sent9 -> int2: the chicken hypothecates level.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chicken is a kind of a Catawba but it is not a grampus.; __UNKNOWN__