the fact that the octangularness happens and the destaining happens is wrong.
sent1: the fact that the hush does not occur is not false. sent2: the fact that the phenotypicalness occurs is not wrong if the natalness happens. sent3: that the natalness and the non-phenotypicalness happens yields that the accreting does not occur. sent4: both the octangularness and the natalness happens if the practice does not occur. sent5: that the hawking but not the organismalness occurs prevents that the practicing occurs. sent6: the fact that the octangularness and the destaining occurs is false if the natalness does not occur. sent7: the miniaturization occurs. sent8: the phenotypicalness does not occur.
void -> assump1: Let's assume that that the natalness happens is true.; sent2 & assump1 -> int1: the phenotypicalness happens.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the natalness does not occur.; int3 & sent6 -> hypothesis;
the accreting does not occur.
$hypothesis$ = the fact that the octangularness happens and the destaining happens is wrong. ; $context$ = sent1: the fact that the hush does not occur is not false. sent2: the fact that the phenotypicalness occurs is not wrong if the natalness happens. sent3: that the natalness and the non-phenotypicalness happens yields that the accreting does not occur. sent4: both the octangularness and the natalness happens if the practice does not occur. sent5: that the hawking but not the organismalness occurs prevents that the practicing occurs. sent6: the fact that the octangularness and the destaining occurs is false if the natalness does not occur. sent7: the miniaturization occurs. sent8: the phenotypicalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the natalness happens is true.; sent2 & assump1 -> int1: the phenotypicalness happens.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the natalness does not occur.; int3 & sent6 -> hypothesis; __PROVED__