that the plethysmograph is not a kind of a one-fourth and it is not firmamental is false.
sent1: the fact that the plethysmograph is not a kind of a one-fourth and it is not firmamental is not true if the ear is a one-fourth. sent2: if the fact that something is unintelligible and does not impart is wrong it is not inboard. sent3: the fact that the fact that the rhizopod is not firmamental and is not a dichotomy is correct is incorrect. sent4: there exists nothing that is unintelligible thing that does not impart.
void -> assump1: Let's assume that that the ear is not a one-fourth is not false.; sent2 -> int1: the fact that the rhizopod is not inboard is right if that it is a kind of unintelligible thing that does not impart is not correct.; sent4 -> int2: the fact that the rhizopod is unintelligible thing that does not impart is incorrect.; int1 & int2 -> int3: the rhizopod is not inboard.;
$hypothesis$ = that the plethysmograph is not a kind of a one-fourth and it is not firmamental is false. ; $context$ = sent1: the fact that the plethysmograph is not a kind of a one-fourth and it is not firmamental is not true if the ear is a one-fourth. sent2: if the fact that something is unintelligible and does not impart is wrong it is not inboard. sent3: the fact that the fact that the rhizopod is not firmamental and is not a dichotomy is correct is incorrect. sent4: there exists nothing that is unintelligible thing that does not impart. ; $proof$ = 
void -> assump1: Let's assume that that the ear is not a one-fourth is not false.; sent2 -> int1: the fact that the rhizopod is not inboard is right if that it is a kind of unintelligible thing that does not impart is not correct.; sent4 -> int2: the fact that the rhizopod is unintelligible thing that does not impart is incorrect.; int1 & int2 -> int3: the rhizopod is not inboard.; __UNKNOWN__