the fact that the gambling does not occur if the malting Ignatius occurs is not correct.
sent1: the malting Ignatius does not occur if the gambling happens and the persecution occurs. sent2: that the malting Ignatius happens hold if the gambling and the persecution occurs. sent3: the persecution and the antagonisticness occurs. sent4: the acinarness occurs. sent5: the market occurs.
void -> assump2: Let's assume that the malting Ignatius occurs.; void -> assump1: Let's assume that the gambling occurs.; sent3 -> int1: the persecution happens.; assump1 & int1 -> int2: the gambling happens and the persecution happens.; sent1 & int2 -> int3: the malting Ignatius does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the gambling does not occur is not wrong.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the gambling does not occur if the malting Ignatius occurs is not correct. ; $context$ = sent1: the malting Ignatius does not occur if the gambling happens and the persecution occurs. sent2: that the malting Ignatius happens hold if the gambling and the persecution occurs. sent3: the persecution and the antagonisticness occurs. sent4: the acinarness occurs. sent5: the market occurs. ; $proof$ = 
void -> assump2: Let's assume that the malting Ignatius occurs.; void -> assump1: Let's assume that the gambling occurs.; sent3 -> int1: the persecution happens.; assump1 & int1 -> int2: the gambling happens and the persecution happens.; sent1 & int2 -> int3: the malting Ignatius does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the gambling does not occur is not wrong.; [assump2] & int5 -> hypothesis; __DISPROVED__