the terazosin is not rounded.
sent1: something that is a kind of an inevitable is a robber. sent2: if the lamivudine is not non-rounded then the don't-know is an inevitable. sent3: the ophryon is a guesstimate. sent4: if there is something such that the fact that it is stemless and is rounded is not correct then the colliery is not hypodermal. sent5: something is a kite if it is a guesstimate. sent6: if the fact that something is unsuccessful and is inevitable is not correct it is not a rounded. sent7: the don't-know is not an inevitable if there is something such that it is not a robber. sent8: if the lamivudine is not a kite then the fact that it is a sidewalk and is a kind of a plowboy is not correct. sent9: if the don't-know is not inevitable the terazosin is a rounded. sent10: the revenant kites if the ophryon is a kites. sent11: if that the don't-know is a robber is right the terazosin is a robber. sent12: the don't-know is not an inevitable if there is something such that the fact that it is a robber and a carpal is not true. sent13: something is a robber and is carpal. sent14: the lamivudine is not a kind of a kite if the revenant does kite. sent15: there is something such that the fact that it is a robber that is a carpal is not correct.
sent15 & sent12 -> int1: the don't-know is not an inevitable.; sent9 & int1 -> hypothesis;
the terazosin is a kind of a robber.
sent1 -> int2: if the don't-know is an inevitable it is a robber.;
$hypothesis$ = the terazosin is not rounded. ; $context$ = sent1: something that is a kind of an inevitable is a robber. sent2: if the lamivudine is not non-rounded then the don't-know is an inevitable. sent3: the ophryon is a guesstimate. sent4: if there is something such that the fact that it is stemless and is rounded is not correct then the colliery is not hypodermal. sent5: something is a kite if it is a guesstimate. sent6: if the fact that something is unsuccessful and is inevitable is not correct it is not a rounded. sent7: the don't-know is not an inevitable if there is something such that it is not a robber. sent8: if the lamivudine is not a kite then the fact that it is a sidewalk and is a kind of a plowboy is not correct. sent9: if the don't-know is not inevitable the terazosin is a rounded. sent10: the revenant kites if the ophryon is a kites. sent11: if that the don't-know is a robber is right the terazosin is a robber. sent12: the don't-know is not an inevitable if there is something such that the fact that it is a robber and a carpal is not true. sent13: something is a robber and is carpal. sent14: the lamivudine is not a kind of a kite if the revenant does kite. sent15: there is something such that the fact that it is a robber that is a carpal is not correct. ; $proof$ = 
sent15 & sent12 -> int1: the don't-know is not an inevitable.; sent9 & int1 -> hypothesis; __DISPROVED__