the sunning counterglow happens.
sent1: if the alluvion does not occur then the elegiacness happens and/or the eligibleness happens. sent2: if the cosmopolitan does not occur then the sighing Gish and the sunning counterglow occurs. sent3: if either the sighing Gish does not occur or the leveling Scolytus does not occur or both then the sighing Gish does not occur. sent4: the leveling Scolytus occurs if the pastorship happens. sent5: the alluvion does not occur if the fact that both the alluvion and the lithomanticness happens is not right. sent6: if the stinting does not occur that both the alluvion and the lithomanticness occurs is wrong. sent7: if that the fidgeting prosperity occurs and the dueling happens is not true then the dueling does not occur. sent8: if the outsideness occurs or the leveling Scolytus occurs or both then the cosmopolitan does not occur. sent9: if the dueling does not occur the aerobicness and the sunning fryer happens. sent10: if the sunning counterglow happens then the sighing Gish occurs. sent11: the high-low-jack does not occur and the probableness does not occur if the aerobicness occurs. sent12: if the sighing Gish and the sunning counterglow happens the switching does not occur. sent13: either the sighing Gish does not occur or the leveling Scolytus does not occur or both. sent14: the glorification does not occur if the high-low-jack does not occur. sent15: the stint does not occur if the glorification does not occur. sent16: the seaquake happens.
void -> assump1: Let's assume that the sunning counterglow happens.; sent10 & assump1 -> int1: the fact that the sighing Gish happens is not false.; sent3 & sent13 -> int2: the sighing Gish does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the switch does not occur.
$hypothesis$ = the sunning counterglow happens. ; $context$ = sent1: if the alluvion does not occur then the elegiacness happens and/or the eligibleness happens. sent2: if the cosmopolitan does not occur then the sighing Gish and the sunning counterglow occurs. sent3: if either the sighing Gish does not occur or the leveling Scolytus does not occur or both then the sighing Gish does not occur. sent4: the leveling Scolytus occurs if the pastorship happens. sent5: the alluvion does not occur if the fact that both the alluvion and the lithomanticness happens is not right. sent6: if the stinting does not occur that both the alluvion and the lithomanticness occurs is wrong. sent7: if that the fidgeting prosperity occurs and the dueling happens is not true then the dueling does not occur. sent8: if the outsideness occurs or the leveling Scolytus occurs or both then the cosmopolitan does not occur. sent9: if the dueling does not occur the aerobicness and the sunning fryer happens. sent10: if the sunning counterglow happens then the sighing Gish occurs. sent11: the high-low-jack does not occur and the probableness does not occur if the aerobicness occurs. sent12: if the sighing Gish and the sunning counterglow happens the switching does not occur. sent13: either the sighing Gish does not occur or the leveling Scolytus does not occur or both. sent14: the glorification does not occur if the high-low-jack does not occur. sent15: the stint does not occur if the glorification does not occur. sent16: the seaquake happens. ; $proof$ = 
void -> assump1: Let's assume that the sunning counterglow happens.; sent10 & assump1 -> int1: the fact that the sighing Gish happens is not false.; sent3 & sent13 -> int2: the sighing Gish does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__