the farandole happens if the rejectiveness happens.
sent1: the carnival occurs. sent2: that the pursing does not occur and the forgetfulness does not occur does not hold. sent3: that the carnival does not occur is true if that the addiction does not occur and the nightwork does not occur is not correct. sent4: the rejectiveness does not occur if the fact that the scorbuticness does not occur and the floating does not occur is not correct. sent5: the fact that not the cuddling but the fissionableness happens does not hold. sent6: the fact that the fissionableness does not occur and the sainthood does not occur does not hold. sent7: the sheathing service happens. sent8: if the floating occurs then the fact that the rejectiveness does not occur is true. sent9: if that the scorbuticness does not occur and the floating does not occur is wrong then the rejectiveness occurs. sent10: the non-Sabineness is prevented by the referring West-sider. sent11: if the fact that the farandole does not occur is not incorrect then the transferring lull occurs but the referring dumpcart does not occur. sent12: the isolation does not occur. sent13: that the transferring lull and the referring dumpcart happens brings about that the popery does not occur. sent14: that the transferring lull but not the referring dumpcart occurs leads to that the popery does not occur.
void -> assump2: Let's assume that the rejectiveness occurs.; void -> assump1: Let's assume that the farandole does not occur.; sent11 & assump1 -> int1: the transferring lull occurs but the referring dumpcart does not occur.; sent14 & int1 -> int2: the popery does not occur.;
that the pursing does not occur and the forgetfulness does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the farandole happens if the rejectiveness happens. ; $context$ = sent1: the carnival occurs. sent2: that the pursing does not occur and the forgetfulness does not occur does not hold. sent3: that the carnival does not occur is true if that the addiction does not occur and the nightwork does not occur is not correct. sent4: the rejectiveness does not occur if the fact that the scorbuticness does not occur and the floating does not occur is not correct. sent5: the fact that not the cuddling but the fissionableness happens does not hold. sent6: the fact that the fissionableness does not occur and the sainthood does not occur does not hold. sent7: the sheathing service happens. sent8: if the floating occurs then the fact that the rejectiveness does not occur is true. sent9: if that the scorbuticness does not occur and the floating does not occur is wrong then the rejectiveness occurs. sent10: the non-Sabineness is prevented by the referring West-sider. sent11: if the fact that the farandole does not occur is not incorrect then the transferring lull occurs but the referring dumpcart does not occur. sent12: the isolation does not occur. sent13: that the transferring lull and the referring dumpcart happens brings about that the popery does not occur. sent14: that the transferring lull but not the referring dumpcart occurs leads to that the popery does not occur. ; $proof$ = 
void -> assump2: Let's assume that the rejectiveness occurs.; void -> assump1: Let's assume that the farandole does not occur.; sent11 & assump1 -> int1: the transferring lull occurs but the referring dumpcart does not occur.; sent14 & int1 -> int2: the popery does not occur.; __UNKNOWN__