if the frost does not occur then the fact that the hashing firestone does not occur is not false.
sent1: that the hashing firestone does not occur is not wrong if the superfetation does not occur and/or the mastoidectomy does not occur. sent2: the superfetation does not occur or the mastoidectomy does not occur or both if the frosting does not occur. sent3: if the archegonialness does not occur the boricness does not occur.
void -> assump1: Let's assume that the frosting does not occur.; sent2 & assump1 -> int1: the superfetation does not occur or the mastoidectomy does not occur or both.; sent1 & int1 -> int2: the hashing firestone does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the frost does not occur then the fact that the hashing firestone does not occur is not false. ; $context$ = sent1: that the hashing firestone does not occur is not wrong if the superfetation does not occur and/or the mastoidectomy does not occur. sent2: the superfetation does not occur or the mastoidectomy does not occur or both if the frosting does not occur. sent3: if the archegonialness does not occur the boricness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the frosting does not occur.; sent2 & assump1 -> int1: the superfetation does not occur or the mastoidectomy does not occur or both.; sent1 & int1 -> int2: the hashing firestone does not occur.; [assump1] & int2 -> hypothesis; __PROVED__