the anthracite is a eclat.
sent1: the rancher is Hippocratic if there is something such that it is not a Mercator and heels myoglobin. sent2: if that the princess does not forage Centaurus and it does not forage regurgitation is correct then the regurgitation does not forage nectary. sent3: the anthracite does not forage nectary if there exists something such that it is a eclat and it is a Medan. sent4: the fact that something is not a Mercator but it does heel myoglobin is correct. sent5: the princess does not forage Centaurus and it does not forage regurgitation if the anthracite does not forage mercenary. sent6: the launce does heel myoglobin and forages mercenary if there is something such that it does not forage nectary. sent7: if something forages mercenary it is not a Medan. sent8: the fact that the regurgitation forages nectary is not false if the rancher is Hippocratic.
void -> assump1: Let's assume that the anthracite does not forage mercenary.; sent5 & assump1 -> int1: the princess does not forage Centaurus and it does not forage regurgitation.; int1 & sent2 -> int2: the regurgitation does not forage nectary.; sent4 & sent1 -> int3: the rancher is Hippocratic.; sent8 & int3 -> int4: the regurgitation forages nectary.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the anthracite forages mercenary.; sent7 -> int7: if the anthracite does forage mercenary then it is not a Medan.; int6 & int7 -> int8: the anthracite is not a Medan.;
the launce does heel myoglobin.
$hypothesis$ = the anthracite is a eclat. ; $context$ = sent1: the rancher is Hippocratic if there is something such that it is not a Mercator and heels myoglobin. sent2: if that the princess does not forage Centaurus and it does not forage regurgitation is correct then the regurgitation does not forage nectary. sent3: the anthracite does not forage nectary if there exists something such that it is a eclat and it is a Medan. sent4: the fact that something is not a Mercator but it does heel myoglobin is correct. sent5: the princess does not forage Centaurus and it does not forage regurgitation if the anthracite does not forage mercenary. sent6: the launce does heel myoglobin and forages mercenary if there is something such that it does not forage nectary. sent7: if something forages mercenary it is not a Medan. sent8: the fact that the regurgitation forages nectary is not false if the rancher is Hippocratic. ; $proof$ = 
void -> assump1: Let's assume that the anthracite does not forage mercenary.; sent5 & assump1 -> int1: the princess does not forage Centaurus and it does not forage regurgitation.; int1 & sent2 -> int2: the regurgitation does not forage nectary.; sent4 & sent1 -> int3: the rancher is Hippocratic.; sent8 & int3 -> int4: the regurgitation forages nectary.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the anthracite forages mercenary.; sent7 -> int7: if the anthracite does forage mercenary then it is not a Medan.; int6 & int7 -> int8: the anthracite is not a Medan.; __UNKNOWN__