the default does not occur.
sent1: if the defaulting does not occur the fact that either the undatableness does not occur or the share does not occur or both is wrong. sent2: the undatableness does not occur. sent3: if the getting pennyworth occurs that the defaulting occurs but the reddening Mesembryanthemum does not occur is not true. sent4: if that the defaulting occurs but the reddening Mesembryanthemum does not occur is not correct then the fact that the defaulting does not occur is right.
void -> assump1: Let's assume that the fact that the default happens is false.; sent1 & assump1 -> int1: the fact that either the undatableness does not occur or the sharing does not occur or both does not hold.; sent2 -> int2: either the undatableness does not occur or the share does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the defaulting does not occur.
$hypothesis$ = the default does not occur. ; $context$ = sent1: if the defaulting does not occur the fact that either the undatableness does not occur or the share does not occur or both is wrong. sent2: the undatableness does not occur. sent3: if the getting pennyworth occurs that the defaulting occurs but the reddening Mesembryanthemum does not occur is not true. sent4: if that the defaulting occurs but the reddening Mesembryanthemum does not occur is not correct then the fact that the defaulting does not occur is right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the default happens is false.; sent1 & assump1 -> int1: the fact that either the undatableness does not occur or the sharing does not occur or both does not hold.; sent2 -> int2: either the undatableness does not occur or the share does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__