the fermentableness occurs and/or the stalemating does not occur.
sent1: if that the surmising enjambment happens and the restraining sawm occurs is wrong then the restraining sawm does not occur. sent2: if the fact that the restraining sawm does not occur is not false the tattoo occurs and the stalemate occurs. sent3: if that the fullbacking does not occur but the snatching happens is false the polemics does not occur. sent4: the stalemating does not occur if the lower-classness but not the crow happens. sent5: the starlessness happens if that the sinistralness but not the suppression happens is not right. sent6: that the tattooing does not occur brings about that the crow does not occur. sent7: that both the surmising enjambment and the restraining sawm occurs is not right if the polemics does not occur. sent8: the fermentableness and/or the stalemate happens. sent9: if that the tattooing does not occur hold the lower-classness occurs and the crowing does not occur. sent10: if the fact that the loopiness does not occur is not incorrect then the restraining thill and the non-fermentableness happens. sent11: the sinistralness does not occur if the suppression does not occur. sent12: the loopiness does not occur if the fact that the fact that the introduction does not occur and the loopiness happens hold does not hold. sent13: the outstaring hypersplenism does not occur if the tattoo but not the crowing happens. sent14: if the outstaring hypersplenism occurs the tattoo does not occur. sent15: the crow does not occur if that the crow but not the lower-classness happens does not hold. sent16: that the outstaring hypersplenism happens is triggered by that the suppression happens.
void -> assump1: Let's assume that the suppression does not occur.; sent11 & assump1 -> int1: the fact that the sinistralness does not occur hold.;
the starlessness occurs.
$hypothesis$ = the fermentableness occurs and/or the stalemating does not occur. ; $context$ = sent1: if that the surmising enjambment happens and the restraining sawm occurs is wrong then the restraining sawm does not occur. sent2: if the fact that the restraining sawm does not occur is not false the tattoo occurs and the stalemate occurs. sent3: if that the fullbacking does not occur but the snatching happens is false the polemics does not occur. sent4: the stalemating does not occur if the lower-classness but not the crow happens. sent5: the starlessness happens if that the sinistralness but not the suppression happens is not right. sent6: that the tattooing does not occur brings about that the crow does not occur. sent7: that both the surmising enjambment and the restraining sawm occurs is not right if the polemics does not occur. sent8: the fermentableness and/or the stalemate happens. sent9: if that the tattooing does not occur hold the lower-classness occurs and the crowing does not occur. sent10: if the fact that the loopiness does not occur is not incorrect then the restraining thill and the non-fermentableness happens. sent11: the sinistralness does not occur if the suppression does not occur. sent12: the loopiness does not occur if the fact that the fact that the introduction does not occur and the loopiness happens hold does not hold. sent13: the outstaring hypersplenism does not occur if the tattoo but not the crowing happens. sent14: if the outstaring hypersplenism occurs the tattoo does not occur. sent15: the crow does not occur if that the crow but not the lower-classness happens does not hold. sent16: that the outstaring hypersplenism happens is triggered by that the suppression happens. ; $proof$ = 
void -> assump1: Let's assume that the suppression does not occur.; sent11 & assump1 -> int1: the fact that the sinistralness does not occur hold.; __UNKNOWN__