if the karma happens not the sortie but the Martianness happens.
sent1: the Martian happens. sent2: if either the shattering immortal occurs or the compilation occurs or both then the cyber-terrorism does not occur. sent3: not the journey but the shattering shinpad occurs. sent4: the prandialness is caused by that the canine does not occur. sent5: if the sortie does not occur that the Martianness occurs and the shattering powered happens is false. sent6: the superiorness does not occur if the dissociation happens. sent7: not the snivelling but the cheer occurs. sent8: if the fact that the pooling does not occur or the taking happens or both is not correct then the welding Sphecidae happens. sent9: the sortie does not occur if the fact that the crystallizing sadhe does not occur but the sortie occurs is wrong. sent10: the sortie does not occur and the Martianness occurs if the shattering powered does not occur. sent11: that the shattering firmness does not occur is prevented by that the karma does not occur and the emcee does not occur. sent12: that the shattering powered does not occur is caused by that either the karma or the emcee or both happens. sent13: that the crystallizing sadhe does not occur and the sortie happens is incorrect if the welding Sphecidae happens. sent14: that the pooling does not occur and/or the taking happens is incorrect if the superior does not occur.
void -> assump1: Let's assume that the karma occurs.; assump1 -> int1: the karma or the emcee or both happens.; sent12 & int1 -> int2: the fact that the shattering powered does not occur hold.; sent10 & int2 -> int3: not the sortie but the Martianness happens.; [assump1] & int3 -> hypothesis;
either the shattering firmness happens or the ligation happens or both.
$hypothesis$ = if the karma happens not the sortie but the Martianness happens. ; $context$ = sent1: the Martian happens. sent2: if either the shattering immortal occurs or the compilation occurs or both then the cyber-terrorism does not occur. sent3: not the journey but the shattering shinpad occurs. sent4: the prandialness is caused by that the canine does not occur. sent5: if the sortie does not occur that the Martianness occurs and the shattering powered happens is false. sent6: the superiorness does not occur if the dissociation happens. sent7: not the snivelling but the cheer occurs. sent8: if the fact that the pooling does not occur or the taking happens or both is not correct then the welding Sphecidae happens. sent9: the sortie does not occur if the fact that the crystallizing sadhe does not occur but the sortie occurs is wrong. sent10: the sortie does not occur and the Martianness occurs if the shattering powered does not occur. sent11: that the shattering firmness does not occur is prevented by that the karma does not occur and the emcee does not occur. sent12: that the shattering powered does not occur is caused by that either the karma or the emcee or both happens. sent13: that the crystallizing sadhe does not occur and the sortie happens is incorrect if the welding Sphecidae happens. sent14: that the pooling does not occur and/or the taking happens is incorrect if the superior does not occur. ; $proof$ = 
void -> assump1: Let's assume that the karma occurs.; assump1 -> int1: the karma or the emcee or both happens.; sent12 & int1 -> int2: the fact that the shattering powered does not occur hold.; sent10 & int2 -> int3: not the sortie but the Martianness happens.; [assump1] & int3 -> hypothesis; __PROVED__