if the arrival occurs the genialness occurs.
sent1: that the feudatoriness happens and the Hunt happens is not right if the unnaturalness does not occur. sent2: if the lapsing does not occur the genialness does not occur and the arrival does not occur. sent3: the Hunt does not occur if the fact that the feudatoriness happens and the Hunt happens does not hold. sent4: if the Hunt does not occur the origin and the thickness occurs. sent5: if the origin occurs the fact that the uncoiling rheumatic does not occur but the lapse occurs is incorrect. sent6: the equalling does not occur if either the non-equalling or the non-genialness or both occurs. sent7: if the fact that the uncoiling rheumatic does not occur and the lapse happens is incorrect the lapse does not occur. sent8: if the fact that the lifework does not occur but the canonicness occurs is not true then the genialness occurs. sent9: that the Antiguanness happens and the scanning occurs results in that the unnaturalness does not occur.
void -> assump1: Let's assume that the arrival happens.;
the equalness does not occur.
$hypothesis$ = if the arrival occurs the genialness occurs. ; $context$ = sent1: that the feudatoriness happens and the Hunt happens is not right if the unnaturalness does not occur. sent2: if the lapsing does not occur the genialness does not occur and the arrival does not occur. sent3: the Hunt does not occur if the fact that the feudatoriness happens and the Hunt happens does not hold. sent4: if the Hunt does not occur the origin and the thickness occurs. sent5: if the origin occurs the fact that the uncoiling rheumatic does not occur but the lapse occurs is incorrect. sent6: the equalling does not occur if either the non-equalling or the non-genialness or both occurs. sent7: if the fact that the uncoiling rheumatic does not occur and the lapse happens is incorrect the lapse does not occur. sent8: if the fact that the lifework does not occur but the canonicness occurs is not true then the genialness occurs. sent9: that the Antiguanness happens and the scanning occurs results in that the unnaturalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the arrival happens.; __UNKNOWN__