if the tweedling digitoxin occurs the moonshine does not occur.
sent1: the ursineness occurs. sent2: the whiplash does not occur if the fact that the whiplash and the fistulousness occurs is incorrect. sent3: the fact that not the moonshining but the ursineness occurs is wrong. sent4: the moonshine happens. sent5: the fact that the whiplash happens and the fistulousness happens does not hold if the polish does not occur.
void -> assump2: Let's assume that the fact that the moonshining does not occur and the ursineness does not occur is not true.;
the whiplash does not occur and the lash does not occur.
$hypothesis$ = if the tweedling digitoxin occurs the moonshine does not occur. ; $context$ = sent1: the ursineness occurs. sent2: the whiplash does not occur if the fact that the whiplash and the fistulousness occurs is incorrect. sent3: the fact that not the moonshining but the ursineness occurs is wrong. sent4: the moonshine happens. sent5: the fact that the whiplash happens and the fistulousness happens does not hold if the polish does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the moonshining does not occur and the ursineness does not occur is not true.; __UNKNOWN__