the tun is not aciculate.
sent1: if something that does not bespangle information is not spiritualistic then it is leonine. sent2: the Communist is an ophthalmology and it is spiritualistic. sent3: the tun is a kind of a alpha-adrenoceptor. sent4: the relative is a alpha-adrenoceptor and leonine. sent5: if the tun is not a doorkeeper then the relative does not bespangle information and it is not spiritualistic. sent6: the tun is not a kind of a nutgrass. sent7: the relative is aciculate. sent8: if the relative is spiritualistic then the tun is not aciculate. sent9: if the relative is leonine the afterpiece is not a alpha-adrenoceptor but it is aciculate. sent10: that something is leonine if it is spiritualistic hold. sent11: the tun does not acuminate.
sent4 -> int1: the relative is a alpha-adrenoceptor.;
that the afterpiece is aciculate hold.
sent1 -> int2: the relative is leonine if it does not bespangle information and it is not spiritualistic.;
$hypothesis$ = the tun is not aciculate. ; $context$ = sent1: if something that does not bespangle information is not spiritualistic then it is leonine. sent2: the Communist is an ophthalmology and it is spiritualistic. sent3: the tun is a kind of a alpha-adrenoceptor. sent4: the relative is a alpha-adrenoceptor and leonine. sent5: if the tun is not a doorkeeper then the relative does not bespangle information and it is not spiritualistic. sent6: the tun is not a kind of a nutgrass. sent7: the relative is aciculate. sent8: if the relative is spiritualistic then the tun is not aciculate. sent9: if the relative is leonine the afterpiece is not a alpha-adrenoceptor but it is aciculate. sent10: that something is leonine if it is spiritualistic hold. sent11: the tun does not acuminate. ; $proof$ = 
sent4 -> int1: the relative is a alpha-adrenoceptor.; __UNKNOWN__