if the blastogeneticness happens then the progression does not occur.
sent1: the progression happens if the snowing lycanthropy happens and/or the blastogeneticness occurs. sent2: if the subtracting vasotomy occurs then the heterotrophicness occurs. sent3: the minimalist occurs if the cruralness happens. sent4: the snowing lycanthropy and/or the blastogeneticness prevents that the progression happens.
void -> assump1: Let's assume that the blastogeneticness happens.; assump1 -> int1: the snowing lycanthropy and/or the blastogeneticness occurs.; int1 & sent4 -> int2: the progression does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the blastogeneticness happens then the progression does not occur. ; $context$ = sent1: the progression happens if the snowing lycanthropy happens and/or the blastogeneticness occurs. sent2: if the subtracting vasotomy occurs then the heterotrophicness occurs. sent3: the minimalist occurs if the cruralness happens. sent4: the snowing lycanthropy and/or the blastogeneticness prevents that the progression happens. ; $proof$ = 
void -> assump1: Let's assume that the blastogeneticness happens.; assump1 -> int1: the snowing lycanthropy and/or the blastogeneticness occurs.; int1 & sent4 -> int2: the progression does not occur.; [assump1] & int2 -> hypothesis; __PROVED__