that if the bettering happens then the trundling Cochran happens does not hold.
sent1: if the deforming occurs but the trundling asynclitism does not occur the fact that the Cretaceousness does not occur hold. sent2: the prolapse does not occur if the fact that not the trundling asynclitism but the gravity-assist happens is not right. sent3: the ethnographicness does not occur if the gravity-assist occurs. sent4: the deforming but not the trundling asynclitism occurs if the gravity-assist does not occur. sent5: the gravity-assist leads to that the ethnographicness does not occur and the bettering does not occur. sent6: if the Cretaceous does not occur that the trundling Cochran occurs is not wrong.
void -> assump1: Let's assume that the bettering occurs.; void -> assump2: Let's assume that the gravity-assist occurs.; sent5 & assump2 -> int1: the ethnographicness does not occur and the bettering does not occur.; int1 -> int2: the bettering does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the gravity-assist does not occur.; sent4 & int4 -> int5: the deforming but not the trundling asynclitism happens.; sent1 & int5 -> int6: the Cretaceous does not occur.; sent6 & int6 -> int7: the trundling Cochran happens.; [assump1] & int7 -> hypothesis;
the prolapse does not occur.
$hypothesis$ = that if the bettering happens then the trundling Cochran happens does not hold. ; $context$ = sent1: if the deforming occurs but the trundling asynclitism does not occur the fact that the Cretaceousness does not occur hold. sent2: the prolapse does not occur if the fact that not the trundling asynclitism but the gravity-assist happens is not right. sent3: the ethnographicness does not occur if the gravity-assist occurs. sent4: the deforming but not the trundling asynclitism occurs if the gravity-assist does not occur. sent5: the gravity-assist leads to that the ethnographicness does not occur and the bettering does not occur. sent6: if the Cretaceous does not occur that the trundling Cochran occurs is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the bettering occurs.; void -> assump2: Let's assume that the gravity-assist occurs.; sent5 & assump2 -> int1: the ethnographicness does not occur and the bettering does not occur.; int1 -> int2: the bettering does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the gravity-assist does not occur.; sent4 & int4 -> int5: the deforming but not the trundling asynclitism happens.; sent1 & int5 -> int6: the Cretaceous does not occur.; sent6 & int6 -> int7: the trundling Cochran happens.; [assump1] & int7 -> hypothesis; __DISPROVED__