the fact that the Cornishness and the anastomosing happens is incorrect.
sent1: if that the snub does not occur and the osmoticness happens does not hold then the Cornishness occurs. sent2: that the estivating does not occur is prevented by the medication. sent3: if the start does not occur the medication and the desertion occurs. sent4: that the staccatoness does not occur is brought about by that both the snub and the osmoticness occurs. sent5: the snub happens. sent6: if the staccatoness does not occur the fact that the Cornishness and the anastomosing occurs is incorrect. sent7: that the snub does not occur but the osmoticness occurs is false if the estivating happens. sent8: the osmoticness happens.
sent5 & sent8 -> int1: both the snub and the osmoticness occurs.; sent4 & int1 -> int2: the staccatoness does not occur.; sent6 & int2 -> hypothesis;
both the Cornishness and the anastomosing occurs.
$hypothesis$ = the fact that the Cornishness and the anastomosing happens is incorrect. ; $context$ = sent1: if that the snub does not occur and the osmoticness happens does not hold then the Cornishness occurs. sent2: that the estivating does not occur is prevented by the medication. sent3: if the start does not occur the medication and the desertion occurs. sent4: that the staccatoness does not occur is brought about by that both the snub and the osmoticness occurs. sent5: the snub happens. sent6: if the staccatoness does not occur the fact that the Cornishness and the anastomosing occurs is incorrect. sent7: that the snub does not occur but the osmoticness occurs is false if the estivating happens. sent8: the osmoticness happens. ; $proof$ = 
sent5 & sent8 -> int1: both the snub and the osmoticness occurs.; sent4 & int1 -> int2: the staccatoness does not occur.; sent6 & int2 -> hypothesis; __PROVED__