the atomisticness happens if the foreshock occurs.
sent1: that the communications occurs and the clitoridectomy does not occur is not correct. sent2: that the intussuscepting occurs but the normalizing economy does not occur prevents that the tropicalness occurs. sent3: the fleeing occurs if the fact that the foreshock does not occur and the atomisticness does not occur does not hold. sent4: that the foreshock does not occur is triggered by that the cropping does not occur and the plot does not occur. sent5: the curatorialness does not occur and the nonobservance does not occur. sent6: the paniculateness occurs if that both the non-glycogenicness and the retractileness occurs is not true. sent7: the plotting does not occur. sent8: that the cropping does not occur and the plotting does not occur yields that the foreshock happens. sent9: if the tingeing overbite occurs but the pleomorphism does not occur then the valediction does not occur. sent10: if the crop does not occur but the plot occurs then the foreshock does not occur. sent11: the mucinoidness occurs. sent12: the atomisticness occurs if that the crop does not occur and the plot does not occur is false. sent13: that the plotting happens prevents the non-atomisticness. sent14: the fact that not the crop but the plot happens does not hold.
void -> assump2: Let's assume that the foreshock occurs.; void -> assump1: Let's assume that the cropping does not occur and the plot does not occur.; sent4 & assump1 -> int1: the foreshock does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crop does not occur and the plot does not occur is wrong.; sent12 & int3 -> int4: the atomisticness happens.; [assump2] & int4 -> hypothesis;
the fleeing occurs.
$hypothesis$ = the atomisticness happens if the foreshock occurs. ; $context$ = sent1: that the communications occurs and the clitoridectomy does not occur is not correct. sent2: that the intussuscepting occurs but the normalizing economy does not occur prevents that the tropicalness occurs. sent3: the fleeing occurs if the fact that the foreshock does not occur and the atomisticness does not occur does not hold. sent4: that the foreshock does not occur is triggered by that the cropping does not occur and the plot does not occur. sent5: the curatorialness does not occur and the nonobservance does not occur. sent6: the paniculateness occurs if that both the non-glycogenicness and the retractileness occurs is not true. sent7: the plotting does not occur. sent8: that the cropping does not occur and the plotting does not occur yields that the foreshock happens. sent9: if the tingeing overbite occurs but the pleomorphism does not occur then the valediction does not occur. sent10: if the crop does not occur but the plot occurs then the foreshock does not occur. sent11: the mucinoidness occurs. sent12: the atomisticness occurs if that the crop does not occur and the plot does not occur is false. sent13: that the plotting happens prevents the non-atomisticness. sent14: the fact that not the crop but the plot happens does not hold. ; $proof$ = 
void -> assump2: Let's assume that the foreshock occurs.; void -> assump1: Let's assume that the cropping does not occur and the plot does not occur.; sent4 & assump1 -> int1: the foreshock does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crop does not occur and the plot does not occur is wrong.; sent12 & int3 -> int4: the atomisticness happens.; [assump2] & int4 -> hypothesis; __PROVED__