if the Sisypheanness does not occur the fact that the jingoism does not occur is not wrong.
sent1: the haying happens. sent2: that the tracklessness does not occur hold. sent3: the Dalmatianness does not occur. sent4: the enfranchising payables happens. sent5: the westernness does not occur. sent6: the uncousinliness occurs. sent7: the exuvialness occurs. sent8: if the Sisypheanness does not occur then the jingoism occurs. sent9: the orientation happens. sent10: that that the jingoism does not occur is caused by the Sisypheanness is right. sent11: the hindrance does not occur. sent12: the leaning singleness does not occur.
void -> assump2: Let's assume that the jingoism occurs.;
$hypothesis$ = if the Sisypheanness does not occur the fact that the jingoism does not occur is not wrong. ; $context$ = sent1: the haying happens. sent2: that the tracklessness does not occur hold. sent3: the Dalmatianness does not occur. sent4: the enfranchising payables happens. sent5: the westernness does not occur. sent6: the uncousinliness occurs. sent7: the exuvialness occurs. sent8: if the Sisypheanness does not occur then the jingoism occurs. sent9: the orientation happens. sent10: that that the jingoism does not occur is caused by the Sisypheanness is right. sent11: the hindrance does not occur. sent12: the leaning singleness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the jingoism occurs.; __UNKNOWN__