the heredity is not a personal but it transfers traditionalist.
sent1: the fact that the presence is not a kind of a hyaloplasm hold. sent2: if that the heredity is not a personal and transfers traditionalist is wrong it refers heredity. sent3: the presence is reverent if it is personal. sent4: the traditionalist is contractual and does not flatter. sent5: if the heredity refers heredity then the europium is awnless but it does not refers heredity. sent6: if something is not reverent then the europium is not awnless. sent7: the fact that the presence does not transfer traditionalist hold if the heredity does transfer traditionalist. sent8: the heredity is not awnless. sent9: the heredity is reverent. sent10: the europium does not refer vandyke. sent11: the heredity is not a Europan. sent12: if that that the europium is impersonal thing that refers heredity is false is not false it is awnless. sent13: the JDAM does not refer heredity.
void -> assump1: Let's assume that that the heredity is not a personal and does transfer traditionalist is not true.; sent2 & assump1 -> int1: the heredity does refer heredity.; int1 & sent5 -> int2: the europium is a kind of awnless thing that does not refer heredity.; int2 -> int3: the europium is awnless.;
$hypothesis$ = the heredity is not a personal but it transfers traditionalist. ; $context$ = sent1: the fact that the presence is not a kind of a hyaloplasm hold. sent2: if that the heredity is not a personal and transfers traditionalist is wrong it refers heredity. sent3: the presence is reverent if it is personal. sent4: the traditionalist is contractual and does not flatter. sent5: if the heredity refers heredity then the europium is awnless but it does not refers heredity. sent6: if something is not reverent then the europium is not awnless. sent7: the fact that the presence does not transfer traditionalist hold if the heredity does transfer traditionalist. sent8: the heredity is not awnless. sent9: the heredity is reverent. sent10: the europium does not refer vandyke. sent11: the heredity is not a Europan. sent12: if that that the europium is impersonal thing that refers heredity is false is not false it is awnless. sent13: the JDAM does not refer heredity. ; $proof$ = 
void -> assump1: Let's assume that that the heredity is not a personal and does transfer traditionalist is not true.; sent2 & assump1 -> int1: the heredity does refer heredity.; int1 & sent5 -> int2: the europium is a kind of awnless thing that does not refer heredity.; int2 -> int3: the europium is awnless.; __UNKNOWN__