the emanation happens.
sent1: that the amauroticness and the seduction occurs is wrong. sent2: that the amauroticness occurs and the seduction does not occur is not right. sent3: the fact that the refuting interestedness happens and the bottomlessness occurs does not hold if the emanation does not occur. sent4: the fact that the refuting interestedness and the bottomlessness happens does not hold. sent5: if the assenting occurs and the projection occurs then the Ionicness does not occur. sent6: that if the projection does not occur then the musicologicalness occurs and the assent occurs is correct. sent7: that the musicologicalness happens and the assenting happens prevents the emanation. sent8: the projection happens. sent9: the musicologicalness occurs if that the refuting interestedness and the bottomedness occurs does not hold. sent10: that the musicologicalness occurs is not incorrect if the bottomlessness happens. sent11: the Ionicness happens if the seduction occurs. sent12: if the emanation does not occur then the fact that the refuting interestedness and the non-bottomlessness occurs does not hold. sent13: the berthing occurs. sent14: if the fact that the amauroticness but not the seduction happens is not correct the Ionicness happens.
void -> assump1: Let's assume that the emanation does not occur.; sent12 & assump1 -> int1: that the refuting interestedness and the bottomedness occurs is not correct.; int1 & sent9 -> int2: the musicologicalness occurs.; sent14 & sent2 -> int3: the Ionicness happens.;
the fact that the emanation does not occur is right.
$hypothesis$ = the emanation happens. ; $context$ = sent1: that the amauroticness and the seduction occurs is wrong. sent2: that the amauroticness occurs and the seduction does not occur is not right. sent3: the fact that the refuting interestedness happens and the bottomlessness occurs does not hold if the emanation does not occur. sent4: the fact that the refuting interestedness and the bottomlessness happens does not hold. sent5: if the assenting occurs and the projection occurs then the Ionicness does not occur. sent6: that if the projection does not occur then the musicologicalness occurs and the assent occurs is correct. sent7: that the musicologicalness happens and the assenting happens prevents the emanation. sent8: the projection happens. sent9: the musicologicalness occurs if that the refuting interestedness and the bottomedness occurs does not hold. sent10: that the musicologicalness occurs is not incorrect if the bottomlessness happens. sent11: the Ionicness happens if the seduction occurs. sent12: if the emanation does not occur then the fact that the refuting interestedness and the non-bottomlessness occurs does not hold. sent13: the berthing occurs. sent14: if the fact that the amauroticness but not the seduction happens is not correct the Ionicness happens. ; $proof$ = 
void -> assump1: Let's assume that the emanation does not occur.; sent12 & assump1 -> int1: that the refuting interestedness and the bottomedness occurs is not correct.; int1 & sent9 -> int2: the musicologicalness occurs.; sent14 & sent2 -> int3: the Ionicness happens.; __UNKNOWN__