the nepotist is not illiterate.
sent1: the ethernet does not spill ostentation if there is something such that the fact that it is not a snakebite hold. sent2: something is not a kind of a macaroon and is not a Purcell. sent3: if something is not a kind of an envoy the ethernet is not a snakebite. sent4: there exists something such that the fact that it is a tracker hold. sent5: the nepotist spills ostentation if that it is not a snakebite and/or it is an illiterate is not correct. sent6: there exists something such that the fact that that it is not a macaroon and not a Purcell hold does not hold. sent7: something is a kind of a tracker if it is not amylolytic or it spills ostentation or both. sent8: if something that is a kind of a Purcell is a tracker then the nepotist is non-illiterate. sent9: there exists something such that it is not an envoy. sent10: the ethernet is a kind of a snakebite if the fact that it is not amylolytic and/or it does spill ostentation is false. sent11: the ethernet is a Purcell if there is something such that the fact that it is not a macaroon and not a Purcell does not hold.
void -> assump1: Let's assume that the fact that the ethernet is not amylolytic or it spills ostentation or both does not hold.; sent10 & assump1 -> int1: the ethernet is a kind of a snakebite.; sent9 & sent3 -> int2: the ethernet is not a snakebite.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the ethernet is not amylolytic or it does spill ostentation or both.; sent7 -> int5: the ethernet is a tracker if either it is non-amylolytic or it spills ostentation or both.; int4 & int5 -> int6: the ethernet is a tracker.; sent6 & sent11 -> int7: the ethernet is a Purcell.; int6 & int7 -> int8: the ethernet is a kind of a Purcell and is a kind of a tracker.; int8 -> int9: something is a Purcell and it is a kind of a tracker.; int9 & sent8 -> hypothesis;
$hypothesis$ = the nepotist is not illiterate. ; $context$ = sent1: the ethernet does not spill ostentation if there is something such that the fact that it is not a snakebite hold. sent2: something is not a kind of a macaroon and is not a Purcell. sent3: if something is not a kind of an envoy the ethernet is not a snakebite. sent4: there exists something such that the fact that it is a tracker hold. sent5: the nepotist spills ostentation if that it is not a snakebite and/or it is an illiterate is not correct. sent6: there exists something such that the fact that that it is not a macaroon and not a Purcell hold does not hold. sent7: something is a kind of a tracker if it is not amylolytic or it spills ostentation or both. sent8: if something that is a kind of a Purcell is a tracker then the nepotist is non-illiterate. sent9: there exists something such that it is not an envoy. sent10: the ethernet is a kind of a snakebite if the fact that it is not amylolytic and/or it does spill ostentation is false. sent11: the ethernet is a Purcell if there is something such that the fact that it is not a macaroon and not a Purcell does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the ethernet is not amylolytic or it spills ostentation or both does not hold.; sent10 & assump1 -> int1: the ethernet is a kind of a snakebite.; sent9 & sent3 -> int2: the ethernet is not a snakebite.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the ethernet is not amylolytic or it does spill ostentation or both.; sent7 -> int5: the ethernet is a tracker if either it is non-amylolytic or it spills ostentation or both.; int4 & int5 -> int6: the ethernet is a tracker.; sent6 & sent11 -> int7: the ethernet is a Purcell.; int6 & int7 -> int8: the ethernet is a kind of a Purcell and is a kind of a tracker.; int8 -> int9: something is a Purcell and it is a kind of a tracker.; int9 & sent8 -> hypothesis; __PROVED__