the blastomericness does not occur.
sent1: the leaf occurs. sent2: the leaf does not occur if the fact that the seven-up does not occur hold. sent3: if the fact that the leafing occurs and the snatching does not occur is wrong then the fact that the snatching happens hold. sent4: if the examining does not occur that the leaf occurs but the snatching does not occur is wrong. sent5: the wideness does not occur and the rowing occurs if the snatch happens. sent6: the leafing does not occur if the fact that both the non-blastomericness and the seven-up occurs does not hold. sent7: the fact that the seven-up happens hold. sent8: that the Wave does not occur is not incorrect.
void -> assump1: Let's assume that the fact that the non-blastomericness and the seven-up happens is false.; sent6 & assump1 -> int1: that the leafing does not occur is not incorrect.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the non-blastomericness and the seven-up occurs.; int3 -> hypothesis;
the wideness does not occur and the rowing occurs.
$hypothesis$ = the blastomericness does not occur. ; $context$ = sent1: the leaf occurs. sent2: the leaf does not occur if the fact that the seven-up does not occur hold. sent3: if the fact that the leafing occurs and the snatching does not occur is wrong then the fact that the snatching happens hold. sent4: if the examining does not occur that the leaf occurs but the snatching does not occur is wrong. sent5: the wideness does not occur and the rowing occurs if the snatch happens. sent6: the leafing does not occur if the fact that both the non-blastomericness and the seven-up occurs does not hold. sent7: the fact that the seven-up happens hold. sent8: that the Wave does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the non-blastomericness and the seven-up happens is false.; sent6 & assump1 -> int1: that the leafing does not occur is not incorrect.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the non-blastomericness and the seven-up occurs.; int3 -> hypothesis; __PROVED__