the bine is epidemiologic.
sent1: if the bine borders proxy then that the kraft is not a kind of a temporal but it is uneven is false. sent2: that something does not forage heartrot and is uniform does not hold if it is not abdominovesical. sent3: that the bine does border proxy if that either the hydroxyproline is not epidemiologic or it border proxy or both is false is correct. sent4: the bine is temporal if the fact that the kraft is uneven but it is not a kind of a temporal is false. sent5: if the kraft does border proxy it is not uneven. sent6: if that the hydroxyproline is non-uniform hold that the kraft is uneven and is not a temporal is not correct. sent7: that the outfielder does border eyestrain and it is abdominovesical is not right. sent8: if that the outfielder borders eyestrain and is abdominovesical is not correct then it is not abdominovesical. sent9: the bine is not uneven if the kraft is not uneven. sent10: the bine is not uneven. sent11: if something is uniform that either it is not epidemiologic or it borders proxy or both does not hold. sent12: the kraft is a temporal. sent13: the bine is not uneven and is epidemiologic if the kraft is not uneven. sent14: the bine is a quarters and a Galilean. sent15: the Kurd is not uneven and is a Andorran. sent16: something that is not epidemiologic and/or does border proxy is not epidemiologic. sent17: the kraft is non-temporal thing that is epidemiologic if the bine is not a temporal.
the bine is not epidemiologic.
sent16 -> int1: the bine is not epidemiologic if that it is not epidemiologic or it does border proxy or both is right.; sent2 -> int2: that the outfielder does not forage heartrot but it is a uniform is false if it is not abdominovesical.; sent8 & sent7 -> int3: the outfielder is not abdominovesical.; int2 & int3 -> int4: that the outfielder does not forage heartrot but it is a kind of a uniform is not correct.; int4 -> int5: there is something such that the fact that it does not forage heartrot and is a kind of a uniform does not hold.;
$hypothesis$ = the bine is epidemiologic. ; $context$ = sent1: if the bine borders proxy then that the kraft is not a kind of a temporal but it is uneven is false. sent2: that something does not forage heartrot and is uniform does not hold if it is not abdominovesical. sent3: that the bine does border proxy if that either the hydroxyproline is not epidemiologic or it border proxy or both is false is correct. sent4: the bine is temporal if the fact that the kraft is uneven but it is not a kind of a temporal is false. sent5: if the kraft does border proxy it is not uneven. sent6: if that the hydroxyproline is non-uniform hold that the kraft is uneven and is not a temporal is not correct. sent7: that the outfielder does border eyestrain and it is abdominovesical is not right. sent8: if that the outfielder borders eyestrain and is abdominovesical is not correct then it is not abdominovesical. sent9: the bine is not uneven if the kraft is not uneven. sent10: the bine is not uneven. sent11: if something is uniform that either it is not epidemiologic or it borders proxy or both does not hold. sent12: the kraft is a temporal. sent13: the bine is not uneven and is epidemiologic if the kraft is not uneven. sent14: the bine is a quarters and a Galilean. sent15: the Kurd is not uneven and is a Andorran. sent16: something that is not epidemiologic and/or does border proxy is not epidemiologic. sent17: the kraft is non-temporal thing that is epidemiologic if the bine is not a temporal. ; $proof$ = 
__UNKNOWN__