the champerty happens.
sent1: if that the cupricness does not occur hold the fact that the champerty and the non-urethralness happens is false. sent2: the scraping causes the champerty. sent3: if the Paleozoic does not occur that the scraping but not the pickings occurs is not wrong. sent4: the dip does not occur or the hydrocephalicness happens or both if the fact that the delicateness does not occur is not false. sent5: if that the Paleozoicness does not occur and the mintiness does not occur is wrong the cupricness happens. sent6: if the dipping does not occur the fact that either the cupricness or the non-urethralness or both occurs is not true. sent7: the delicateness does not occur and/or the hydrocephalicness happens.
void -> assump1: Let's assume that the fact that both the non-Paleozoicness and the non-mintiness occurs is wrong.; sent5 & assump1 -> int1: the cupricness happens.; int1 -> int2: the cupricness occurs and/or the urethralness does not occur.;
the champerty does not occur.
$hypothesis$ = the champerty happens. ; $context$ = sent1: if that the cupricness does not occur hold the fact that the champerty and the non-urethralness happens is false. sent2: the scraping causes the champerty. sent3: if the Paleozoic does not occur that the scraping but not the pickings occurs is not wrong. sent4: the dip does not occur or the hydrocephalicness happens or both if the fact that the delicateness does not occur is not false. sent5: if that the Paleozoicness does not occur and the mintiness does not occur is wrong the cupricness happens. sent6: if the dipping does not occur the fact that either the cupricness or the non-urethralness or both occurs is not true. sent7: the delicateness does not occur and/or the hydrocephalicness happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that both the non-Paleozoicness and the non-mintiness occurs is wrong.; sent5 & assump1 -> int1: the cupricness happens.; int1 -> int2: the cupricness occurs and/or the urethralness does not occur.; __UNKNOWN__