the fact that both the non-Martianness and the non-profaneness happens is incorrect if the maintaining unaffectedness happens.
sent1: the atomicness occurs if the maintaining unaffectedness occurs and the crapshoot does not occur. sent2: if the atomicness occurs the fact that the non-Martianness and the non-profaneness occurs is false. sent3: the short-orderness happens. sent4: the fact that not the Martianness but the profaneness occurs does not hold if the atomicness happens. sent5: the non-Martianness and the non-profaneness occurs if the atomicness occurs. sent6: if the maintaining ICE occurs and the Oblation occurs then the crapshoot does not occur. sent7: that not the Martianness but the profaneness occurs is not correct. sent8: the short-orderness does not occur if that the maintaining ICE does not occur and the Oblation happens is not right. sent9: if the maintaining ICE does not occur and the Oblation happens that the crapshoot does not occur is true.
void -> assump2: Let's assume that the fact that not the maintaining ICE but the Oblation occurs is false.; sent8 & assump2 -> int1: the short-orderness does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the maintaining ICE but the Oblation occurs.; int3 & sent9 -> int4: the crapshoot does not occur.; void -> assump1: Let's assume that the maintaining unaffectedness occurs.; int4 & assump1 -> int5: the maintaining unaffectedness happens but the crapshoot does not occur.; int5 & sent1 -> int6: the atomicness occurs.; int6 & sent2 -> int7: that both the non-Martianness and the non-profaneness occurs does not hold.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that both the non-Martianness and the non-profaneness happens is incorrect if the maintaining unaffectedness happens. ; $context$ = sent1: the atomicness occurs if the maintaining unaffectedness occurs and the crapshoot does not occur. sent2: if the atomicness occurs the fact that the non-Martianness and the non-profaneness occurs is false. sent3: the short-orderness happens. sent4: the fact that not the Martianness but the profaneness occurs does not hold if the atomicness happens. sent5: the non-Martianness and the non-profaneness occurs if the atomicness occurs. sent6: if the maintaining ICE occurs and the Oblation occurs then the crapshoot does not occur. sent7: that not the Martianness but the profaneness occurs is not correct. sent8: the short-orderness does not occur if that the maintaining ICE does not occur and the Oblation happens is not right. sent9: if the maintaining ICE does not occur and the Oblation happens that the crapshoot does not occur is true. ; $proof$ = 
void -> assump2: Let's assume that the fact that not the maintaining ICE but the Oblation occurs is false.; sent8 & assump2 -> int1: the short-orderness does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the maintaining ICE but the Oblation occurs.; int3 & sent9 -> int4: the crapshoot does not occur.; void -> assump1: Let's assume that the maintaining unaffectedness occurs.; int4 & assump1 -> int5: the maintaining unaffectedness happens but the crapshoot does not occur.; int5 & sent1 -> int6: the atomicness occurs.; int6 & sent2 -> int7: that both the non-Martianness and the non-profaneness occurs does not hold.; [assump1] & int7 -> hypothesis; __PROVED__