that not the briefing Succoth but the fraternization happens is wrong.
sent1: if the naturalization does not occur then that the issue and the cohesion occurs is not correct. sent2: if the issuing does not occur then the cohesion occurs. sent3: if that the naturalization and the surrendering occurs is wrong then the naturalization does not occur. sent4: that the surrender does not occur causes that the fraternization happens and the issuing occurs. sent5: if the briefing salvinorin does not occur then that the naturalization and the surrendering occurs is not right. sent6: that the naturalization and the cohesion happens prevents that the briefing Succoth occurs. sent7: if the compassing does not occur then not the briefing salvinorin but the marketing occurs. sent8: the issue does not occur. sent9: if that the issue happens and the cohesion happens is wrong the radioimmunoassay does not occur. sent10: the devoting occurs. sent11: the compass does not occur and the impinging curator does not occur if the convergence happens.
void -> assump1: Let's assume that the briefing Succoth does not occur but the fraternization occurs.; sent2 & sent8 -> int1: the cohesion happens.;
the briefing Succoth does not occur and the fraternization happens.
$hypothesis$ = that not the briefing Succoth but the fraternization happens is wrong. ; $context$ = sent1: if the naturalization does not occur then that the issue and the cohesion occurs is not correct. sent2: if the issuing does not occur then the cohesion occurs. sent3: if that the naturalization and the surrendering occurs is wrong then the naturalization does not occur. sent4: that the surrender does not occur causes that the fraternization happens and the issuing occurs. sent5: if the briefing salvinorin does not occur then that the naturalization and the surrendering occurs is not right. sent6: that the naturalization and the cohesion happens prevents that the briefing Succoth occurs. sent7: if the compassing does not occur then not the briefing salvinorin but the marketing occurs. sent8: the issue does not occur. sent9: if that the issue happens and the cohesion happens is wrong the radioimmunoassay does not occur. sent10: the devoting occurs. sent11: the compass does not occur and the impinging curator does not occur if the convergence happens. ; $proof$ = 
void -> assump1: Let's assume that the briefing Succoth does not occur but the fraternization occurs.; sent2 & sent8 -> int1: the cohesion happens.; __UNKNOWN__