the plotting coltsfoot does not occur and the ovoviviparousness does not occur if the cramp happens.
sent1: the ovoviviparousness does not occur. sent2: if both the recycling and the proliferating helix occurs that the duck does not occur is not incorrect. sent3: that the plotting coltsfoot does not occur and the ovoviviparousness does not occur is caused by the non-amenorrheicness. sent4: that the plotting coltsfoot and the non-ovoviviparousness occurs is brought about by that the cramp happens. sent5: that the ovoviviparousness does not occur is caused by that the amenorrheicness does not occur. sent6: the ovoviviparousness does not occur if the cramping happens. sent7: the punctuating happens. sent8: the amenorrheicness does not occur if both the punctuating and the cramping occurs.
void -> assump1: Let's assume that the fact that the cramp happens is correct.; sent7 & assump1 -> int1: both the punctuating and the cramp occurs.; sent8 & int1 -> int2: that the amenorrheicness happens is wrong.; sent3 & int2 -> int3: the plotting coltsfoot does not occur and the ovoviviparousness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the plotting coltsfoot does not occur and the ovoviviparousness does not occur if the cramp happens. ; $context$ = sent1: the ovoviviparousness does not occur. sent2: if both the recycling and the proliferating helix occurs that the duck does not occur is not incorrect. sent3: that the plotting coltsfoot does not occur and the ovoviviparousness does not occur is caused by the non-amenorrheicness. sent4: that the plotting coltsfoot and the non-ovoviviparousness occurs is brought about by that the cramp happens. sent5: that the ovoviviparousness does not occur is caused by that the amenorrheicness does not occur. sent6: the ovoviviparousness does not occur if the cramping happens. sent7: the punctuating happens. sent8: the amenorrheicness does not occur if both the punctuating and the cramping occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cramp happens is correct.; sent7 & assump1 -> int1: both the punctuating and the cramp occurs.; sent8 & int1 -> int2: that the amenorrheicness happens is wrong.; sent3 & int2 -> int3: the plotting coltsfoot does not occur and the ovoviviparousness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__