if that the regeneration occurs is correct then the hurtling inconceivability happens.
sent1: the insecticidalness occurs. sent2: that the anatomy happens hold. sent3: that the immunity occurs is triggered by that the moral happens. sent4: the Saharan occurs if the regeneration happens. sent5: the immaterialness happens if the Saharanness occurs. sent6: the spatter happens. sent7: the intermolecularness is caused by that the parodying country-dance happens. sent8: the aberrating occurs. sent9: if the immaterialness happens then the hurtling inconceivability happens.
void -> assump1: Let's assume that the regeneration happens.; sent4 & assump1 -> int1: the Saharanness happens.; sent5 & int1 -> int2: the immaterialness occurs.; sent9 & int2 -> int3: the hurtling inconceivability occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the regeneration occurs is correct then the hurtling inconceivability happens. ; $context$ = sent1: the insecticidalness occurs. sent2: that the anatomy happens hold. sent3: that the immunity occurs is triggered by that the moral happens. sent4: the Saharan occurs if the regeneration happens. sent5: the immaterialness happens if the Saharanness occurs. sent6: the spatter happens. sent7: the intermolecularness is caused by that the parodying country-dance happens. sent8: the aberrating occurs. sent9: if the immaterialness happens then the hurtling inconceivability happens. ; $proof$ = 
void -> assump1: Let's assume that the regeneration happens.; sent4 & assump1 -> int1: the Saharanness happens.; sent5 & int1 -> int2: the immaterialness occurs.; sent9 & int2 -> int3: the hurtling inconceivability occurs.; [assump1] & int3 -> hypothesis; __PROVED__