the autofluorescence occurs if the bettering occurs.
sent1: the fact that the autofluorescence occurs is not wrong if the fact that the abiotrophy happens and the symbolizing Ashton does not occur is wrong. sent2: that the abiotrophy happens but the symbolizing Ashton does not occur does not hold if the better occurs.
void -> assump1: Let's assume that the better occurs.; sent2 & assump1 -> int1: that the abiotrophy but not the symbolizing Ashton occurs is incorrect.; sent1 & int1 -> int2: the autofluorescence happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the autofluorescence occurs if the bettering occurs. ; $context$ = sent1: the fact that the autofluorescence occurs is not wrong if the fact that the abiotrophy happens and the symbolizing Ashton does not occur is wrong. sent2: that the abiotrophy happens but the symbolizing Ashton does not occur does not hold if the better occurs. ; $proof$ = 
void -> assump1: Let's assume that the better occurs.; sent2 & assump1 -> int1: that the abiotrophy but not the symbolizing Ashton occurs is incorrect.; sent1 & int1 -> int2: the autofluorescence happens.; [assump1] & int2 -> hypothesis; __PROVED__