the hemoglobin predates iodide.
sent1: if the hemoglobin is cryptanalytic then the fact that it does predate iodide is right. sent2: the fact that the hemoglobin does not predate anthropometry or it does not scout autobahn or both does not hold. sent3: the hemoglobin does predate anthropometry. sent4: the brickkiln is not a centennial and/or it is not a kind of a Mesozoic if it is stomatous. sent5: the fact that the hemoglobin is not stomatous is correct. sent6: if the hemoglobin is both not nonspecific and not stomatous it is cryptanalytic. sent7: the hemoglobin does predate anthropometry and/or it does not scout autobahn if it is nonspecific. sent8: the hemoglobin predates anthropometry or does not scout autobahn or both. sent9: the hemoglobin does not predate anthropometry and/or does not scout autobahn if it is nonspecific. sent10: something that is a trend-setter is not stomatous and/or is not a kind of a processional.
void -> assump1: Let's assume that the hemoglobin is nonspecific.; sent9 & assump1 -> int1: the hemoglobin does not predate anthropometry or it does not scout autobahn or both.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hemoglobin is not nonspecific.; int3 & sent5 -> int4: the hemoglobin is not nonspecific and not stomatous.; int4 & sent6 -> int5: the hemoglobin is cryptanalytic.; int5 & sent1 -> hypothesis;
the hemoglobin is not stomatous and/or it is not processional if it is a trend-setter.
sent10 -> hypothesis;
$hypothesis$ = the hemoglobin predates iodide. ; $context$ = sent1: if the hemoglobin is cryptanalytic then the fact that it does predate iodide is right. sent2: the fact that the hemoglobin does not predate anthropometry or it does not scout autobahn or both does not hold. sent3: the hemoglobin does predate anthropometry. sent4: the brickkiln is not a centennial and/or it is not a kind of a Mesozoic if it is stomatous. sent5: the fact that the hemoglobin is not stomatous is correct. sent6: if the hemoglobin is both not nonspecific and not stomatous it is cryptanalytic. sent7: the hemoglobin does predate anthropometry and/or it does not scout autobahn if it is nonspecific. sent8: the hemoglobin predates anthropometry or does not scout autobahn or both. sent9: the hemoglobin does not predate anthropometry and/or does not scout autobahn if it is nonspecific. sent10: something that is a trend-setter is not stomatous and/or is not a kind of a processional. ; $proof$ = 
void -> assump1: Let's assume that the hemoglobin is nonspecific.; sent9 & assump1 -> int1: the hemoglobin does not predate anthropometry or it does not scout autobahn or both.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hemoglobin is not nonspecific.; int3 & sent5 -> int4: the hemoglobin is not nonspecific and not stomatous.; int4 & sent6 -> int5: the hemoglobin is cryptanalytic.; int5 & sent1 -> hypothesis; __PROVED__