the fact that if the peroration and the non-traumaticness happens then the obstetricsness happens is false.
sent1: that the peroration occurs and the traumaticness happens causes the non-insufficientness. sent2: the non-insufficientness causes that the obstetricsness occurs. sent3: if the peroration and the non-traumaticness happens the insufficientness does not occur.
void -> assump1: Let's assume that the peroration and the non-traumaticness occurs.; sent3 & assump1 -> int1: the insufficientness does not occur.; int1 & sent2 -> int2: the obstetricsness happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the peroration and the non-traumaticness happens then the obstetricsness happens is false. ; $context$ = sent1: that the peroration occurs and the traumaticness happens causes the non-insufficientness. sent2: the non-insufficientness causes that the obstetricsness occurs. sent3: if the peroration and the non-traumaticness happens the insufficientness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the peroration and the non-traumaticness occurs.; sent3 & assump1 -> int1: the insufficientness does not occur.; int1 & sent2 -> int2: the obstetricsness happens.; [assump1] & int2 -> hypothesis; __DISPROVED__