the fact that that the purchase does not occur is prevented by that the diminishing happens is not right.
sent1: the destaining booklet occurs or the congregating occurs or both. sent2: that the aftercare occurs is brought about by that the destaining swordsmanship does not occur. sent3: the purchase happens if the acupressure does not occur. sent4: the sin is prevented by that the reimbursing merchandise occurs. sent5: if either the acupressure or the reimbursing merchandise or both happens then the sin does not occur. sent6: the doubles does not occur if the hanging does not occur. sent7: the baseball does not occur. sent8: the destaining serialism happens. sent9: that the midiness does not occur results in the fitness. sent10: that the sinning does not occur prevents that the diminishing occurs. sent11: that the diminishing does not occur is prevented by that the sinning does not occur. sent12: the unambitiousness does not occur.
void -> assump2: Let's assume that the diminishing occurs.; void -> assump1: Let's assume that the acupressure happens.; assump1 -> int1: the acupressure occurs or the reimbursing merchandise occurs or both.; sent5 & int1 -> int2: the sin does not occur.; sent10 & int2 -> int3: the diminishing does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the acupressure does not occur.; sent3 & int5 -> int6: the fact that the purchase occurs is not false.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that that the purchase does not occur is prevented by that the diminishing happens is not right. ; $context$ = sent1: the destaining booklet occurs or the congregating occurs or both. sent2: that the aftercare occurs is brought about by that the destaining swordsmanship does not occur. sent3: the purchase happens if the acupressure does not occur. sent4: the sin is prevented by that the reimbursing merchandise occurs. sent5: if either the acupressure or the reimbursing merchandise or both happens then the sin does not occur. sent6: the doubles does not occur if the hanging does not occur. sent7: the baseball does not occur. sent8: the destaining serialism happens. sent9: that the midiness does not occur results in the fitness. sent10: that the sinning does not occur prevents that the diminishing occurs. sent11: that the diminishing does not occur is prevented by that the sinning does not occur. sent12: the unambitiousness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the diminishing occurs.; void -> assump1: Let's assume that the acupressure happens.; assump1 -> int1: the acupressure occurs or the reimbursing merchandise occurs or both.; sent5 & int1 -> int2: the sin does not occur.; sent10 & int2 -> int3: the diminishing does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the acupressure does not occur.; sent3 & int5 -> int6: the fact that the purchase occurs is not false.; [assump2] & int6 -> hypothesis; __DISPROVED__