the moonwalk does not occur and/or the incitation happens.
sent1: the exalting Glaux does not occur if the moonwalk does not occur. sent2: if the moonwalk does not occur and/or the incitation happens the exalting Glaux does not occur. sent3: the exalting Glaux and the ataxicness occurs. sent4: that the continent occurs is not false.
void -> assump1: Let's assume that either the moonwalk does not occur or the incitation happens or both.; sent2 & assump1 -> int1: the exalting Glaux does not occur.; sent3 -> int2: the exalting Glaux occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the moonwalk does not occur and/or the incitation happens. ; $context$ = sent1: the exalting Glaux does not occur if the moonwalk does not occur. sent2: if the moonwalk does not occur and/or the incitation happens the exalting Glaux does not occur. sent3: the exalting Glaux and the ataxicness occurs. sent4: that the continent occurs is not false. ; $proof$ = 
void -> assump1: Let's assume that either the moonwalk does not occur or the incitation happens or both.; sent2 & assump1 -> int1: the exalting Glaux does not occur.; sent3 -> int2: the exalting Glaux occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__