the Cretaceous does not occur.
sent1: that the Cretaceous and the narrating caseworm occurs is incorrect if the Defense does not occur. sent2: that the subjecting Ameiuridae happens hold. sent3: if the depriving Mergus does not occur or the precipitation occurs or both then the nephrotomy does not occur. sent4: if the narrating hedgefund does not occur the Cretaceous does not occur. sent5: if the sea-duty occurs then the precipitation occurs. sent6: that the swish occurs and the Defense happens does not hold if the nephrotomy does not occur. sent7: the narrating caseworm happens if the yearning happens. sent8: if the swish does not occur not the narrating caseworm but the Defense happens. sent9: the fact that the yearning occurs is true if the narrating hedgefund occurs. sent10: the swish does not occur.
void -> assump1: Let's assume that the narrating hedgefund occurs.; sent9 & assump1 -> int1: the yearning occurs.; int1 & sent7 -> int2: the narrating caseworm occurs.; sent8 & sent10 -> int3: not the narrating caseworm but the Defense occurs.; int3 -> int4: the narrating caseworm does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the narrating hedgefund does not occur is true.; int6 & sent4 -> hypothesis;
the upset does not occur.
$hypothesis$ = the Cretaceous does not occur. ; $context$ = sent1: that the Cretaceous and the narrating caseworm occurs is incorrect if the Defense does not occur. sent2: that the subjecting Ameiuridae happens hold. sent3: if the depriving Mergus does not occur or the precipitation occurs or both then the nephrotomy does not occur. sent4: if the narrating hedgefund does not occur the Cretaceous does not occur. sent5: if the sea-duty occurs then the precipitation occurs. sent6: that the swish occurs and the Defense happens does not hold if the nephrotomy does not occur. sent7: the narrating caseworm happens if the yearning happens. sent8: if the swish does not occur not the narrating caseworm but the Defense happens. sent9: the fact that the yearning occurs is true if the narrating hedgefund occurs. sent10: the swish does not occur. ; $proof$ = 
void -> assump1: Let's assume that the narrating hedgefund occurs.; sent9 & assump1 -> int1: the yearning occurs.; int1 & sent7 -> int2: the narrating caseworm occurs.; sent8 & sent10 -> int3: not the narrating caseworm but the Defense occurs.; int3 -> int4: the narrating caseworm does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the narrating hedgefund does not occur is true.; int6 & sent4 -> hypothesis; __PROVED__