the unalertness happens.
sent1: if the splatting novelization does not occur the fact that the bumming does not occur is true. sent2: if the fact that both the outflanking marine and the BAR happens does not hold the unalertness does not occur. sent3: that the outflanking marine occurs and the BAR occurs does not hold if the dripping does not occur. sent4: the wanning happens.
void -> assump1: Let's assume that the splatting novelization does not occur and the wanning does not occur.; assump1 -> int1: the wanning does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the splatting novelization does not occur and the wanning does not occur is not right.;
the bumming does not occur.
$hypothesis$ = the unalertness happens. ; $context$ = sent1: if the splatting novelization does not occur the fact that the bumming does not occur is true. sent2: if the fact that both the outflanking marine and the BAR happens does not hold the unalertness does not occur. sent3: that the outflanking marine occurs and the BAR occurs does not hold if the dripping does not occur. sent4: the wanning happens. ; $proof$ = 
void -> assump1: Let's assume that the splatting novelization does not occur and the wanning does not occur.; assump1 -> int1: the wanning does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the splatting novelization does not occur and the wanning does not occur is not right.; __UNKNOWN__