the capybara is not non-avifaunal.
sent1: the hayrack is a kind of a Ranier. sent2: the Appalachians caters. sent3: if something is a kind of a Ranier then it caters. sent4: the capybara is not avifaunal if the bumper is a kind of a Ranier and it is a kind of a browntail. sent5: if that the Appalachians is a kind of a Ranier hold then it caters. sent6: if the bumper is earlier then the Appalachians is a Ranier. sent7: if the capybara is a kind of a browntail then the Appalachians is a browntail. sent8: if the capybara is not a browntail it is a Ranier. sent9: if the bumper is a kind of a Ranier the Appalachians is a Ranier. sent10: the bumper does exclude hysterosalpingogram and is unholy if the fact that the saponification does not price notice is right. sent11: the bumper is avifaunal. sent12: something is a browntail if it is unholy. sent13: the bumper is a drivel. sent14: something does cater and is not distrustful if it is a Ranier. sent15: the bumper is earlier and/or it is a Ranier. sent16: if the Appalachians caters and is not distrustful then that the capybara is not a kind of a browntail is not wrong. sent17: something is a kind of avifaunal thing that is not distrustful if it is earlier. sent18: something that is not fleshy is earlier thing that is a kind of a Ranier. sent19: the Appalachians does cater and is not avifaunal if it is a kind of a browntail.
sent14 -> int1: if the Appalachians is a Ranier then it caters and it is not distrustful.; sent15 & sent6 & sent9 -> int2: the Appalachians is a kind of a Ranier.; int1 & int2 -> int3: the Appalachians does cater and is not distrustful.; int3 & sent16 -> int4: the capybara is not a browntail.;
the capybara is not avifaunal.
sent18 -> int5: if the fact that the bumper is not fleshy is right then it is earlier and it is a kind of a Ranier.; sent12 -> int6: if the bumper is unholy it is a browntail.;
$hypothesis$ = the capybara is not non-avifaunal. ; $context$ = sent1: the hayrack is a kind of a Ranier. sent2: the Appalachians caters. sent3: if something is a kind of a Ranier then it caters. sent4: the capybara is not avifaunal if the bumper is a kind of a Ranier and it is a kind of a browntail. sent5: if that the Appalachians is a kind of a Ranier hold then it caters. sent6: if the bumper is earlier then the Appalachians is a Ranier. sent7: if the capybara is a kind of a browntail then the Appalachians is a browntail. sent8: if the capybara is not a browntail it is a Ranier. sent9: if the bumper is a kind of a Ranier the Appalachians is a Ranier. sent10: the bumper does exclude hysterosalpingogram and is unholy if the fact that the saponification does not price notice is right. sent11: the bumper is avifaunal. sent12: something is a browntail if it is unholy. sent13: the bumper is a drivel. sent14: something does cater and is not distrustful if it is a Ranier. sent15: the bumper is earlier and/or it is a Ranier. sent16: if the Appalachians caters and is not distrustful then that the capybara is not a kind of a browntail is not wrong. sent17: something is a kind of avifaunal thing that is not distrustful if it is earlier. sent18: something that is not fleshy is earlier thing that is a kind of a Ranier. sent19: the Appalachians does cater and is not avifaunal if it is a kind of a browntail. ; $proof$ = 
sent14 -> int1: if the Appalachians is a Ranier then it caters and it is not distrustful.; sent15 & sent6 & sent9 -> int2: the Appalachians is a kind of a Ranier.; int1 & int2 -> int3: the Appalachians does cater and is not distrustful.; int3 & sent16 -> int4: the capybara is not a browntail.; __UNKNOWN__