the fact that the carbonate does not heal Characinidae but it does thrust carbonate is false.
sent1: if there is something such that it does not blunt recollection that the vinifera does not suffer is not wrong. sent2: the graverobber does not blunt recollection. sent3: if something is not anthropological and is not a saprolite then the vinifera suffers. sent4: the carbonate is not anthropological if that it does not heal Characinidae and thrusts carbonate does not hold. sent5: The recollection does not blunt graverobber. sent6: the carbonate is not a saprolite and it is not a cheerlessness.
void -> assump1: Let's assume that that the carbonate does not heal Characinidae but it does thrust carbonate is incorrect.; sent4 & assump1 -> int1: the carbonate is not anthropological.; sent6 -> int2: the carbonate is not a kind of a saprolite.; int1 & int2 -> int3: the carbonate is not anthropological and it is not a saprolite.; int3 -> int4: something is not anthropological and it is not a saprolite.; int4 & sent3 -> int5: the vinifera suffers.; sent2 -> int6: there is something such that it does not blunt recollection.; int6 & sent1 -> int7: the vinifera does not suffer.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the carbonate does not heal Characinidae but it does thrust carbonate is false. ; $context$ = sent1: if there is something such that it does not blunt recollection that the vinifera does not suffer is not wrong. sent2: the graverobber does not blunt recollection. sent3: if something is not anthropological and is not a saprolite then the vinifera suffers. sent4: the carbonate is not anthropological if that it does not heal Characinidae and thrusts carbonate does not hold. sent5: The recollection does not blunt graverobber. sent6: the carbonate is not a saprolite and it is not a cheerlessness. ; $proof$ = 
void -> assump1: Let's assume that that the carbonate does not heal Characinidae but it does thrust carbonate is incorrect.; sent4 & assump1 -> int1: the carbonate is not anthropological.; sent6 -> int2: the carbonate is not a kind of a saprolite.; int1 & int2 -> int3: the carbonate is not anthropological and it is not a saprolite.; int3 -> int4: something is not anthropological and it is not a saprolite.; int4 & sent3 -> int5: the vinifera suffers.; sent2 -> int6: there is something such that it does not blunt recollection.; int6 & sent1 -> int7: the vinifera does not suffer.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__