that that the mercantileness does not occur is prevented by the chemotherapeuticness is not right.
sent1: the fact that the ball occurs but the rolling division does not occur is wrong if the mercantileness does not occur. sent2: the chemotherapeuticness does not occur if that the fact that the fact that the ball but not the rolling division occurs hold is false is not false.
void -> assump2: Let's assume that the chemotherapeuticness occurs.; void -> assump1: Let's assume that the mercantileness does not occur.; sent1 & assump1 -> int1: the fact that the balling but not the rolling division occurs is false.; sent2 & int1 -> int2: the chemotherapeuticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mercantileness happens.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that that the mercantileness does not occur is prevented by the chemotherapeuticness is not right. ; $context$ = sent1: the fact that the ball occurs but the rolling division does not occur is wrong if the mercantileness does not occur. sent2: the chemotherapeuticness does not occur if that the fact that the fact that the ball but not the rolling division occurs hold is false is not false. ; $proof$ = 
void -> assump2: Let's assume that the chemotherapeuticness occurs.; void -> assump1: Let's assume that the mercantileness does not occur.; sent1 & assump1 -> int1: the fact that the balling but not the rolling division occurs is false.; sent2 & int1 -> int2: the chemotherapeuticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mercantileness happens.; [assump2] & int4 -> hypothesis; __DISPROVED__