there is something such that if the fact that it is both alphanumeric and archival does not hold then it is not nonrepresentational.
sent1: if that something is both not non-alphanumeric and archival does not hold then it is not nonrepresentational. sent2: if the pyx is not alphanumeric then that it is not nonrepresentational is not wrong. sent3: there exists something such that if it is a kind of alphanumeric thing that is archival then it is not nonrepresentational. sent4: if the fact that the fact that something is both alphanumeric and archival is correct is not true then it is nonrepresentational.
sent1 -> int1: the fact that the pyx is not nonrepresentational is true if that it is alphanumeric and it is archival is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is both alphanumeric and archival does not hold then it is not nonrepresentational. ; $context$ = sent1: if that something is both not non-alphanumeric and archival does not hold then it is not nonrepresentational. sent2: if the pyx is not alphanumeric then that it is not nonrepresentational is not wrong. sent3: there exists something such that if it is a kind of alphanumeric thing that is archival then it is not nonrepresentational. sent4: if the fact that the fact that something is both alphanumeric and archival is correct is not true then it is nonrepresentational. ; $proof$ = 
sent1 -> int1: the fact that the pyx is not nonrepresentational is true if that it is alphanumeric and it is archival is wrong.; int1 -> hypothesis; __PROVED__