the do does not occur if the petty occurs.
sent1: the schismaticness happens. sent2: the schismaticness happens and the scurfiness occurs. sent3: that the solelessness happens and the schismaticness occurs is brought about by that the petty does not occur. sent4: if the plot does not occur then the mismanaging otherness and the scurfiness occurs. sent5: the arteriography and the packaging happens. sent6: the birth happens. sent7: the mismanaging swearer happens.
void -> assump1: Let's assume that the petty happens.; sent2 -> int1: the scurfiness happens.; assump1 & int1 -> int2: both the petty and the scurfiness occurs.;
both the mismanaging otherness and the solelessness happens.
$hypothesis$ = the do does not occur if the petty occurs. ; $context$ = sent1: the schismaticness happens. sent2: the schismaticness happens and the scurfiness occurs. sent3: that the solelessness happens and the schismaticness occurs is brought about by that the petty does not occur. sent4: if the plot does not occur then the mismanaging otherness and the scurfiness occurs. sent5: the arteriography and the packaging happens. sent6: the birth happens. sent7: the mismanaging swearer happens. ; $proof$ = 
void -> assump1: Let's assume that the petty happens.; sent2 -> int1: the scurfiness happens.; assump1 & int1 -> int2: both the petty and the scurfiness occurs.; __UNKNOWN__