the recasting Mitterrand does not occur.
sent1: that the active does not occur hold. sent2: the Gambianness does not occur. sent3: if the fact that the Gambianness does not occur hold that the recasting Lydian occurs and the cumulus does not occur does not hold. sent4: that the recasting Mitterrand does not occur is triggered by that the clonalness occurs and the tagging lawyer happens. sent5: both the tagging lawyer and the recasting Patella occurs if the activeness does not occur. sent6: the fact that the chaffiness occurs is not false if the Gambianness happens. sent7: the clonalness occurs if that the recasting Lydian occurs and the cumulus does not occur is not right. sent8: the activeness and the recasting Patella happens if the unfortunateness does not occur.
sent3 & sent2 -> int1: the fact that the recasting Lydian but not the cumulus occurs is false.; int1 & sent7 -> int2: the clonalness happens.; sent5 & sent1 -> int3: the tagging lawyer and the recasting Patella occurs.; int3 -> int4: the tagging lawyer happens.; int2 & int4 -> int5: the fact that the clonalness and the tagging lawyer occurs is not wrong.; int5 & sent4 -> hypothesis;
the recasting Mitterrand occurs.
$hypothesis$ = the recasting Mitterrand does not occur. ; $context$ = sent1: that the active does not occur hold. sent2: the Gambianness does not occur. sent3: if the fact that the Gambianness does not occur hold that the recasting Lydian occurs and the cumulus does not occur does not hold. sent4: that the recasting Mitterrand does not occur is triggered by that the clonalness occurs and the tagging lawyer happens. sent5: both the tagging lawyer and the recasting Patella occurs if the activeness does not occur. sent6: the fact that the chaffiness occurs is not false if the Gambianness happens. sent7: the clonalness occurs if that the recasting Lydian occurs and the cumulus does not occur is not right. sent8: the activeness and the recasting Patella happens if the unfortunateness does not occur. ; $proof$ = 
sent3 & sent2 -> int1: the fact that the recasting Lydian but not the cumulus occurs is false.; int1 & sent7 -> int2: the clonalness happens.; sent5 & sent1 -> int3: the tagging lawyer and the recasting Patella occurs.; int3 -> int4: the tagging lawyer happens.; int2 & int4 -> int5: the fact that the clonalness and the tagging lawyer occurs is not wrong.; int5 & sent4 -> hypothesis; __PROVED__