the gorgerin is anodic or it does steel scarf or both.
sent1: if there is something such that the fact that either it is not adventitial or it is a rue or both is false then the gorgerin is not unreactive. sent2: something is a kind of a Heracleum if it is a Mormon. sent3: there is something such that it is not a B-horizon. sent4: if that the delegate is a kind of a Heracleum is not false the fact that the tutee is not parhelic but it does steel Khartoum does not hold. sent5: if the gorgerin does not steel scarf and it is not unreactive then the delegate is a kind of a Mormon. sent6: there exists something such that that it is not adventitial and/or is a rue is incorrect. sent7: if that the tutee is not parhelic but it does steel Khartoum does not hold the scarf does not gravel. sent8: that the scarf is a poker is true.
sent6 & sent1 -> int1: the gorgerin is not unreactive.; void -> assump1: Let's assume that the gorgerin does not steel scarf.; int1 & assump1 -> int2: that the gorgerin does not steel scarf and is not unreactive hold.; int2 & sent5 -> int3: the delegate is a Mormon.; sent2 -> int4: the delegate is a kind of a Heracleum if it is a Mormon.; int3 & int4 -> int5: the delegate is a kind of a Heracleum.; int5 & sent4 -> int6: that the tutee is not parhelic but it does steel Khartoum does not hold.; int6 & sent7 -> int7: the scarf is not a gravel.;
$hypothesis$ = the gorgerin is anodic or it does steel scarf or both. ; $context$ = sent1: if there is something such that the fact that either it is not adventitial or it is a rue or both is false then the gorgerin is not unreactive. sent2: something is a kind of a Heracleum if it is a Mormon. sent3: there is something such that it is not a B-horizon. sent4: if that the delegate is a kind of a Heracleum is not false the fact that the tutee is not parhelic but it does steel Khartoum does not hold. sent5: if the gorgerin does not steel scarf and it is not unreactive then the delegate is a kind of a Mormon. sent6: there exists something such that that it is not adventitial and/or is a rue is incorrect. sent7: if that the tutee is not parhelic but it does steel Khartoum does not hold the scarf does not gravel. sent8: that the scarf is a poker is true. ; $proof$ = 
sent6 & sent1 -> int1: the gorgerin is not unreactive.; void -> assump1: Let's assume that the gorgerin does not steel scarf.; int1 & assump1 -> int2: that the gorgerin does not steel scarf and is not unreactive hold.; int2 & sent5 -> int3: the delegate is a Mormon.; sent2 -> int4: the delegate is a kind of a Heracleum if it is a Mormon.; int3 & int4 -> int5: the delegate is a kind of a Heracleum.; int5 & sent4 -> int6: that the tutee is not parhelic but it does steel Khartoum does not hold.; int6 & sent7 -> int7: the scarf is not a gravel.; __UNKNOWN__