the NMR happens.
sent1: if the vacationing does not occur then the fact that the wobbling Algonkian occurs and the wobbling buspirone does not occur is incorrect. sent2: the fact that either the faucalness or the rescue or both happens is not right if the wobbling Algonkian does not occur. sent3: if the fact that the wildness happens is true that both the quickie and the non-consubstantialness occurs is not correct. sent4: if the faucalness does not occur then that both the clouding tody and the wobbling Verwoerd occurs is not true. sent5: the NMR happens if the wobbling Verwoerd does not occur. sent6: if that the rescue does not occur and the feuding does not occur is false then the faucalness does not occur. sent7: if the fact that the wobbling Verwoerd happens is correct the clouding tody happens. sent8: if that the forcing and the workshop occurs is not true then the workshop does not occur. sent9: that the quickie does not occur triggers that the monetization does not occur. sent10: if that the wobbling Algonkian does not occur is not wrong then that the rescuing does not occur and the feud does not occur is not true. sent11: the wobbling Algonkian does not occur if the fact that the wobbling Algonkian happens but the wobbling buspirone does not occur does not hold. sent12: if that the quickie and the non-consubstantialness occurs does not hold then the quickie does not occur. sent13: the NMR does not occur if that the faucalness happens and/or the rescuing occurs is incorrect. sent14: if the wobbling abulia does not occur and/or the insult occurs the vacationing does not occur. sent15: if the monetization does not occur then the Bruneianness happens and the insult happens. sent16: the callithumpianness occurs. sent17: if the workshop does not occur then the comedown happens and/or the lettering woodcraft occurs.
void -> assump1: Let's assume that the wobbling Verwoerd happens.; sent7 & assump1 -> int1: the clouding tody occurs.;
the fact that the NMR does not occur hold.
$hypothesis$ = the NMR happens. ; $context$ = sent1: if the vacationing does not occur then the fact that the wobbling Algonkian occurs and the wobbling buspirone does not occur is incorrect. sent2: the fact that either the faucalness or the rescue or both happens is not right if the wobbling Algonkian does not occur. sent3: if the fact that the wildness happens is true that both the quickie and the non-consubstantialness occurs is not correct. sent4: if the faucalness does not occur then that both the clouding tody and the wobbling Verwoerd occurs is not true. sent5: the NMR happens if the wobbling Verwoerd does not occur. sent6: if that the rescue does not occur and the feuding does not occur is false then the faucalness does not occur. sent7: if the fact that the wobbling Verwoerd happens is correct the clouding tody happens. sent8: if that the forcing and the workshop occurs is not true then the workshop does not occur. sent9: that the quickie does not occur triggers that the monetization does not occur. sent10: if that the wobbling Algonkian does not occur is not wrong then that the rescuing does not occur and the feud does not occur is not true. sent11: the wobbling Algonkian does not occur if the fact that the wobbling Algonkian happens but the wobbling buspirone does not occur does not hold. sent12: if that the quickie and the non-consubstantialness occurs does not hold then the quickie does not occur. sent13: the NMR does not occur if that the faucalness happens and/or the rescuing occurs is incorrect. sent14: if the wobbling abulia does not occur and/or the insult occurs the vacationing does not occur. sent15: if the monetization does not occur then the Bruneianness happens and the insult happens. sent16: the callithumpianness occurs. sent17: if the workshop does not occur then the comedown happens and/or the lettering woodcraft occurs. ; $proof$ = 
void -> assump1: Let's assume that the wobbling Verwoerd happens.; sent7 & assump1 -> int1: the clouding tody occurs.; __UNKNOWN__