the stick does not occur and the tetanicness does not occur.
sent1: the wine occurs. sent2: that the reclining menarche does not occur and the capitularness does not occur does not hold. sent3: the decaying happens if the nontoxicness occurs. sent4: the fluctuation occurs. sent5: the militainment occurs. sent6: the wiring pyrite does not occur. sent7: the tactfulness occurs. sent8: the brachialness does not occur. sent9: the fishing dicumarol but not the recusing occurs if the brachialness does not occur. sent10: the blaxploitation occurs. sent11: that the angling does not occur but the smashing occurs is not correct. sent12: that the tetanicness does not occur is not incorrect. sent13: that the tetanicness happens results in the bossism. sent14: if the fact that the changeableness does not occur and the recognizing does not occur is not correct the wiring pyrite occurs. sent15: the ensconcing ribgrass occurs. sent16: the diligentness happens if the fishing lowercase does not occur. sent17: the recusing occurs if that the bossism occurs is not incorrect. sent18: the incarnating does not occur.
void -> assump1: Let's assume that the fact that the sticking does not occur and the tetanicness does not occur does not hold.; sent9 & sent8 -> int1: the fishing dicumarol happens and the recusing does not occur.; int1 -> int2: the recusing does not occur.;
that the stick does not occur and the tetanicness does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the stick does not occur and the tetanicness does not occur. ; $context$ = sent1: the wine occurs. sent2: that the reclining menarche does not occur and the capitularness does not occur does not hold. sent3: the decaying happens if the nontoxicness occurs. sent4: the fluctuation occurs. sent5: the militainment occurs. sent6: the wiring pyrite does not occur. sent7: the tactfulness occurs. sent8: the brachialness does not occur. sent9: the fishing dicumarol but not the recusing occurs if the brachialness does not occur. sent10: the blaxploitation occurs. sent11: that the angling does not occur but the smashing occurs is not correct. sent12: that the tetanicness does not occur is not incorrect. sent13: that the tetanicness happens results in the bossism. sent14: if the fact that the changeableness does not occur and the recognizing does not occur is not correct the wiring pyrite occurs. sent15: the ensconcing ribgrass occurs. sent16: the diligentness happens if the fishing lowercase does not occur. sent17: the recusing occurs if that the bossism occurs is not incorrect. sent18: the incarnating does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the sticking does not occur and the tetanicness does not occur does not hold.; sent9 & sent8 -> int1: the fishing dicumarol happens and the recusing does not occur.; int1 -> int2: the recusing does not occur.; __UNKNOWN__