the anthropometricness is prevented by that the degradation occurs and the prelapsarianness occurs.
sent1: the cogitating happens. sent2: the commutating Temuco does not occur if the degradation does not occur. sent3: the anthropometricness happens. sent4: that the consummating Nineveh happens and the degradation occurs leads to that the anthropometricness does not occur. sent5: the rivaling reconciliation and the square occurs. sent6: the nonsuppurativeness does not occur. sent7: the prelapsarianness happens. sent8: the consummating Nineveh happens.
void -> assump1: Let's assume that both the degradation and the prelapsarianness happens.; assump1 -> int1: that the degradation happens is not wrong.; sent8 & int1 -> int2: the consummating Nineveh happens and the degradation happens.; sent4 & int2 -> int3: the anthropometricness does not occur.; [assump1] & int3 -> hypothesis;
the commutating Temuco does not occur.
$hypothesis$ = the anthropometricness is prevented by that the degradation occurs and the prelapsarianness occurs. ; $context$ = sent1: the cogitating happens. sent2: the commutating Temuco does not occur if the degradation does not occur. sent3: the anthropometricness happens. sent4: that the consummating Nineveh happens and the degradation occurs leads to that the anthropometricness does not occur. sent5: the rivaling reconciliation and the square occurs. sent6: the nonsuppurativeness does not occur. sent7: the prelapsarianness happens. sent8: the consummating Nineveh happens. ; $proof$ = 
void -> assump1: Let's assume that both the degradation and the prelapsarianness happens.; assump1 -> int1: that the degradation happens is not wrong.; sent8 & int1 -> int2: the consummating Nineveh happens and the degradation happens.; sent4 & int2 -> int3: the anthropometricness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__