if the chincapin is a Appalachians the corneum is a kind of an iterative.
sent1: the chincapin is a kind of a Appalachians if the ortygan is unoriginal thing that does not mind. sent2: the inflation is an original. sent3: the ortygan is both not an original and not a mind if the persimmon is not original. sent4: if the bennet is not a lepton the corneum is a kind of an iterative. sent5: the ortygan is not a mind. sent6: the chincapin is not a kind of a mind if the ortygan is a kind of an original and is a kind of a Appalachians. sent7: the bennet is a lepton. sent8: if the bennet is not a humming but it is a lepton the persimmon is not an original. sent9: if the ortygan is not an original and not a mind then the chincapin is non-Appalachians.
void -> assump1: Let's assume that the chincapin is a Appalachians.; void -> assump2: Let's assume that that the bennet is not a humming but it is a lepton is true.; sent8 & assump2 -> int1: the persimmon is not original.; sent3 & int1 -> int2: the ortygan is both not original and not a mind.; sent9 & int2 -> int3: the chincapin is not a kind of a Appalachians.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the fact that the fact that the bennet is not a kind of a humming but it is a lepton is true is not correct is not incorrect.;
$hypothesis$ = if the chincapin is a Appalachians the corneum is a kind of an iterative. ; $context$ = sent1: the chincapin is a kind of a Appalachians if the ortygan is unoriginal thing that does not mind. sent2: the inflation is an original. sent3: the ortygan is both not an original and not a mind if the persimmon is not original. sent4: if the bennet is not a lepton the corneum is a kind of an iterative. sent5: the ortygan is not a mind. sent6: the chincapin is not a kind of a mind if the ortygan is a kind of an original and is a kind of a Appalachians. sent7: the bennet is a lepton. sent8: if the bennet is not a humming but it is a lepton the persimmon is not an original. sent9: if the ortygan is not an original and not a mind then the chincapin is non-Appalachians. ; $proof$ = 
void -> assump1: Let's assume that the chincapin is a Appalachians.; void -> assump2: Let's assume that that the bennet is not a humming but it is a lepton is true.; sent8 & assump2 -> int1: the persimmon is not original.; sent3 & int1 -> int2: the ortygan is both not original and not a mind.; sent9 & int2 -> int3: the chincapin is not a kind of a Appalachians.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the fact that the fact that the bennet is not a kind of a humming but it is a lepton is true is not correct is not incorrect.; __UNKNOWN__