the forebrain is pedagogical thing that is not a electroplater.
sent1: if the hematite is not a soundness the fact that the forebrain is algoid is correct. sent2: the forebrain is not a kind of a electroplater. sent3: the hematite is dominical but it is not a kind of a Caviidae. sent4: the fact that the hematite is not a vase-fine or is not a Egbert or both is not true. sent5: the hematite is non-dominical if it is a soundness and cambers tuck. sent6: if the hematite is not a soundness the forebrain is pedagogical and is algoid.
void -> assump1: Let's assume that the hematite is a soundness.; sent3 -> int1: the hematite is dominical.;
$hypothesis$ = the forebrain is pedagogical thing that is not a electroplater. ; $context$ = sent1: if the hematite is not a soundness the fact that the forebrain is algoid is correct. sent2: the forebrain is not a kind of a electroplater. sent3: the hematite is dominical but it is not a kind of a Caviidae. sent4: the fact that the hematite is not a vase-fine or is not a Egbert or both is not true. sent5: the hematite is non-dominical if it is a soundness and cambers tuck. sent6: if the hematite is not a soundness the forebrain is pedagogical and is algoid. ; $proof$ = 
void -> assump1: Let's assume that the hematite is a soundness.; sent3 -> int1: the hematite is dominical.; __UNKNOWN__