the fencer does not stifle capriole and does render knout.
sent1: a eyeful is pleural. sent2: the fact that the fact that something does not stifle capriole but it does render knout is not wrong does not hold if it does not unzip. sent3: the Methuselah does render knout. sent4: if the tiger does stifle PKD the fact that that the knout is unicameral but it is not Hebraic is not true hold. sent5: if the fact that the synchromesh is not a bombazine but it renders disliked is false the sulfadiazine eulogizes Dagestani. sent6: that the synchromesh is not a bombazine and does render disliked is false. sent7: the fact that the knout is not a eyeful and does not eulogize Dagestani is not right if the sulfadiazine does eulogize Dagestani. sent8: if the fact that the knout is not a kind of a eyeful and does not eulogize Dagestani is wrong then it does unzip. sent9: the fencer does not stifle capriole and renders knout if the knout does renders knout. sent10: the pickle is not basipetal if the referral is not basipetal and it is not a Cordyline. sent11: if the fact that the knout is both unicameral and not Hebraic is incorrect the sulfadiazine is unicameral. sent12: the tiger stifles PKD but it is not rotary if the pickle is not basipetal. sent13: if the sulfadiazine is unicameral then the synchromesh either is a eyeful or does not eulogize Dagestani or both.
sent5 & sent6 -> int1: the sulfadiazine eulogizes Dagestani.; int1 & sent7 -> int2: the fact that the knout is not a eyeful and does not eulogize Dagestani is incorrect.; int2 & sent8 -> int3: the knout unzips.;
if the restraint is a eyeful it is pleural.
sent1 -> hypothesis;
$hypothesis$ = the fencer does not stifle capriole and does render knout. ; $context$ = sent1: a eyeful is pleural. sent2: the fact that the fact that something does not stifle capriole but it does render knout is not wrong does not hold if it does not unzip. sent3: the Methuselah does render knout. sent4: if the tiger does stifle PKD the fact that that the knout is unicameral but it is not Hebraic is not true hold. sent5: if the fact that the synchromesh is not a bombazine but it renders disliked is false the sulfadiazine eulogizes Dagestani. sent6: that the synchromesh is not a bombazine and does render disliked is false. sent7: the fact that the knout is not a eyeful and does not eulogize Dagestani is not right if the sulfadiazine does eulogize Dagestani. sent8: if the fact that the knout is not a kind of a eyeful and does not eulogize Dagestani is wrong then it does unzip. sent9: the fencer does not stifle capriole and renders knout if the knout does renders knout. sent10: the pickle is not basipetal if the referral is not basipetal and it is not a Cordyline. sent11: if the fact that the knout is both unicameral and not Hebraic is incorrect the sulfadiazine is unicameral. sent12: the tiger stifles PKD but it is not rotary if the pickle is not basipetal. sent13: if the sulfadiazine is unicameral then the synchromesh either is a eyeful or does not eulogize Dagestani or both. ; $proof$ = 
sent5 & sent6 -> int1: the sulfadiazine eulogizes Dagestani.; int1 & sent7 -> int2: the fact that the knout is not a eyeful and does not eulogize Dagestani is incorrect.; int2 & sent8 -> int3: the knout unzips.; __UNKNOWN__