the scission and the observation occurs.
sent1: the videotaping does not occur if either the roasting happens or the fishing shillelagh happens or both. sent2: if the fishing shillelagh does not occur not the checker but the scission happens. sent3: the videotape occurs. sent4: the observation happens.
void -> assump1: Let's assume that the fishing shillelagh happens.; assump1 -> int1: either the roasting happens or the fishing shillelagh occurs or both.; int1 & sent1 -> int2: the videotaping does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fishing shillelagh does not occur.; int4 & sent2 -> int5: not the checkering but the scission happens.; int5 -> int6: the scission happens.; int6 & sent4 -> hypothesis;
$hypothesis$ = the scission and the observation occurs. ; $context$ = sent1: the videotaping does not occur if either the roasting happens or the fishing shillelagh happens or both. sent2: if the fishing shillelagh does not occur not the checker but the scission happens. sent3: the videotape occurs. sent4: the observation happens. ; $proof$ = 
void -> assump1: Let's assume that the fishing shillelagh happens.; assump1 -> int1: either the roasting happens or the fishing shillelagh occurs or both.; int1 & sent1 -> int2: the videotaping does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fishing shillelagh does not occur.; int4 & sent2 -> int5: not the checkering but the scission happens.; int5 -> int6: the scission happens.; int6 & sent4 -> hypothesis; __PROVED__