that the fact that the shoot does not occur but the disobeying soled occurs does not hold if the beachhead happens is wrong.
sent1: the shooting does not occur. sent2: that not the shooting but the disobeying soled happens is true if that the beachhead happens is true. sent3: that the beachhead does not occur is brought about by that the shoot and the disobeying soled occurs. sent4: if the fact that the beachhead happens is not false that both the shoot and the disobeying soled occurs is not correct. sent5: that the beachhead occurs is prevented by that not the shoot but the disobeying soled happens. sent6: the fact that the shooting happens and the disobeying soled occurs is false.
void -> assump1: Let's assume that not the shoot but the disobeying soled happens.; sent5 & assump1 -> int1: the beachhead does not occur.; void -> assump2: Let's assume that that the beachhead happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the shooting but the disobeying soled happens does not hold.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that the fact that the shoot does not occur but the disobeying soled occurs does not hold if the beachhead happens is wrong. ; $context$ = sent1: the shooting does not occur. sent2: that not the shooting but the disobeying soled happens is true if that the beachhead happens is true. sent3: that the beachhead does not occur is brought about by that the shoot and the disobeying soled occurs. sent4: if the fact that the beachhead happens is not false that both the shoot and the disobeying soled occurs is not correct. sent5: that the beachhead occurs is prevented by that not the shoot but the disobeying soled happens. sent6: the fact that the shooting happens and the disobeying soled occurs is false. ; $proof$ = 
void -> assump1: Let's assume that not the shoot but the disobeying soled happens.; sent5 & assump1 -> int1: the beachhead does not occur.; void -> assump2: Let's assume that that the beachhead happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the shooting but the disobeying soled happens does not hold.; [assump2] & int3 -> hypothesis; __DISPROVED__