if the bruxism does not occur then that the launching omicron does not occur and the phallicness does not occur does not hold.
sent1: if the bruxism occurs the fact that the launching omicron does not occur and the phallicness does not occur does not hold. sent2: if the bruxism does not occur then the fact that the launching omicron does not occur and the phallicness occurs does not hold. sent3: if the fact that the bruxism does not occur is right then that the launching omicron and the non-phallicness occurs is not true. sent4: the constantness does not occur. sent5: if the bruxism does not occur the launching omicron does not occur and the phallicness does not occur. sent6: that the winning does not occur and the spree does not occur is false. sent7: that the launching omicron does not occur and the phallicness occurs is incorrect. sent8: the splenectomy does not occur. sent9: the bruxism occurs if the phallicness happens. sent10: that the launching omicron and the non-phallicness occurs is wrong. sent11: the capitulating does not occur.
void -> assump2: Let's assume that the launching omicron does not occur and the phallicness does not occur.; assump2 -> int1: the phallicness does not occur.;
$hypothesis$ = if the bruxism does not occur then that the launching omicron does not occur and the phallicness does not occur does not hold. ; $context$ = sent1: if the bruxism occurs the fact that the launching omicron does not occur and the phallicness does not occur does not hold. sent2: if the bruxism does not occur then the fact that the launching omicron does not occur and the phallicness occurs does not hold. sent3: if the fact that the bruxism does not occur is right then that the launching omicron and the non-phallicness occurs is not true. sent4: the constantness does not occur. sent5: if the bruxism does not occur the launching omicron does not occur and the phallicness does not occur. sent6: that the winning does not occur and the spree does not occur is false. sent7: that the launching omicron does not occur and the phallicness occurs is incorrect. sent8: the splenectomy does not occur. sent9: the bruxism occurs if the phallicness happens. sent10: that the launching omicron and the non-phallicness occurs is wrong. sent11: the capitulating does not occur. ; $proof$ = 
void -> assump2: Let's assume that the launching omicron does not occur and the phallicness does not occur.; assump2 -> int1: the phallicness does not occur.; __UNKNOWN__