the Chinook does not occur.
sent1: that the solfege happens and the single-laneness happens does not hold. sent2: if the yodeling does not occur and the embrowning pitching occurs then the Chinook does not occur. sent3: the embrowning pitching happens. sent4: if the interlude occurs that the Arawakanness happens and the embrowning tire does not occur does not hold. sent5: that the embrowning pitching does not occur and the unthematicness does not occur is caused by that the splenicness does not occur. sent6: the biggerness does not occur. sent7: the indemnifying happens. sent8: that both the Venetian and the gossip happens is wrong. sent9: if the yodeling occurs that the Venetian happens but the gossiping does not occur is false. sent10: the Venetian happens and the gossip does not occur. sent11: that both the fistulousness and the detraining happens does not hold. sent12: the collimation does not occur.
void -> assump1: Let's assume that the fact that the yodeling happens hold.; sent9 & assump1 -> int1: that the Venetianness happens but the gossiping does not occur is wrong.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the yodeling does not occur.; int3 & sent3 -> int4: the yodeling does not occur but the embrowning pitching occurs.; int4 & sent2 -> hypothesis;
the Chinook occurs.
$hypothesis$ = the Chinook does not occur. ; $context$ = sent1: that the solfege happens and the single-laneness happens does not hold. sent2: if the yodeling does not occur and the embrowning pitching occurs then the Chinook does not occur. sent3: the embrowning pitching happens. sent4: if the interlude occurs that the Arawakanness happens and the embrowning tire does not occur does not hold. sent5: that the embrowning pitching does not occur and the unthematicness does not occur is caused by that the splenicness does not occur. sent6: the biggerness does not occur. sent7: the indemnifying happens. sent8: that both the Venetian and the gossip happens is wrong. sent9: if the yodeling occurs that the Venetian happens but the gossiping does not occur is false. sent10: the Venetian happens and the gossip does not occur. sent11: that both the fistulousness and the detraining happens does not hold. sent12: the collimation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the yodeling happens hold.; sent9 & assump1 -> int1: that the Venetianness happens but the gossiping does not occur is wrong.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the yodeling does not occur.; int3 & sent3 -> int4: the yodeling does not occur but the embrowning pitching occurs.; int4 & sent2 -> hypothesis; __PROVED__