the radius is not a arachnoid.
sent1: the ma is a lagoon. sent2: if the saprolite is a lagoon that the naltrexone is curable hold. sent3: the filth is a sallowness and is unportable. sent4: something is not a kind of a Waterbury if the fact that it is a tabulation and a Waterbury does not hold. sent5: something is not a lagoon but it is curable if the fact that it is not inexact hold. sent6: something is a kind of a Waterbury. sent7: the saprolite is not inexact. sent8: the filth is a tabulation if there is something such that it is a kind of a Waterbury that is a kind of a arachnoid. sent9: if the fact that the filth is a kind of a arachnoid is not false then the radius is a tabulation. sent10: the radius is a Waterbury. sent11: there exists something such that it is a arachnoid. sent12: the saprolite is a kind of a lagoon or is not arachnoid or both if the radius is a kind of a arachnoid. sent13: the saprolite is a lagoon and/or it is not a tabulation if that the filth is a tabulation hold. sent14: if the naltrexone is curable the sideroblast is inexact. sent15: the naltrexone is curable if the saprolite is a lagoon and/or it is not a tabulation.
void -> assump1: Let's assume that the radius is a kind of a arachnoid.; sent10 & assump1 -> int1: the radius is a Waterbury and it is a arachnoid.; int1 -> int2: the fact that something is a Waterbury and it is a arachnoid hold.; int2 & sent8 -> int3: the filth is a tabulation.; int3 & sent13 -> int4: the saprolite is a lagoon and/or is not a tabulation.; int4 & sent15 -> int5: the naltrexone is curable.; int5 & sent14 -> int6: the sideroblast is inexact.;
the radius is a kind of a arachnoid.
sent5 -> int7: if the saprolite is not inexact it is not a lagoon and it is curable.; int7 & sent7 -> int8: the saprolite is not a lagoon and is curable.; int8 -> int9: the fact that something is not a lagoon but it is curable is correct.;
$hypothesis$ = the radius is not a arachnoid. ; $context$ = sent1: the ma is a lagoon. sent2: if the saprolite is a lagoon that the naltrexone is curable hold. sent3: the filth is a sallowness and is unportable. sent4: something is not a kind of a Waterbury if the fact that it is a tabulation and a Waterbury does not hold. sent5: something is not a lagoon but it is curable if the fact that it is not inexact hold. sent6: something is a kind of a Waterbury. sent7: the saprolite is not inexact. sent8: the filth is a tabulation if there is something such that it is a kind of a Waterbury that is a kind of a arachnoid. sent9: if the fact that the filth is a kind of a arachnoid is not false then the radius is a tabulation. sent10: the radius is a Waterbury. sent11: there exists something such that it is a arachnoid. sent12: the saprolite is a kind of a lagoon or is not arachnoid or both if the radius is a kind of a arachnoid. sent13: the saprolite is a lagoon and/or it is not a tabulation if that the filth is a tabulation hold. sent14: if the naltrexone is curable the sideroblast is inexact. sent15: the naltrexone is curable if the saprolite is a lagoon and/or it is not a tabulation. ; $proof$ = 
void -> assump1: Let's assume that the radius is a kind of a arachnoid.; sent10 & assump1 -> int1: the radius is a Waterbury and it is a arachnoid.; int1 -> int2: the fact that something is a Waterbury and it is a arachnoid hold.; int2 & sent8 -> int3: the filth is a tabulation.; int3 & sent13 -> int4: the saprolite is a lagoon and/or is not a tabulation.; int4 & sent15 -> int5: the naltrexone is curable.; int5 & sent14 -> int6: the sideroblast is inexact.; __UNKNOWN__