the autumnalness occurs.
sent1: if the resetting bacteriologist does not occur then the lettering intermezzo occurs and/or the troubling Sanhedrin happens. sent2: the lettering intermezzo happens and the troubling Sanhedrin occurs if the resetting bacteriologist does not occur. sent3: if the covering occurs the non-Sumerianness and the molecularness occurs. sent4: if the unactableness does not occur the autumnalness happens. sent5: if the lettering intermezzo happens then the humming occurs. sent6: if that the resetting bacteriologist occurs but the nesting does not occur is false the resetting bacteriologist does not occur. sent7: the usefulness does not occur. sent8: if the humming does not occur the non-municipalness and the non-usefulness happens. sent9: if that the hurl happens is true that the resetting bacteriologist occurs but the nesting does not occur is incorrect. sent10: if the humming occurs then the fact that both the actableness and the non-usefulness happens does not hold. sent11: the receptiveness does not occur. sent12: if that the actableness and the non-usefulness happens is not correct then the autumnalness does not occur. sent13: that the receptiveness does not occur is brought about by that the unactableness occurs. sent14: if the usefulness occurs then the fact that the autumnalness happens but the humming does not occur does not hold. sent15: the thinkableness does not occur if the non-thinkableness or the non-cheerfulness or both occurs. sent16: if that the nest happens is not wrong then the resetting bacteriologist does not occur and the hurl does not occur. sent17: the autumnalness does not occur if the fact that the autumnalness but not the humming happens is not true. sent18: if the lettering intermezzo happens then the usefulness happens. sent19: that that the presence and the nest happens is brought about by the unthinkableness is not wrong. sent20: the hurling happens if the hurling and/or the unthinkableness happens. sent21: the usefulness does not occur if the humming does not occur. sent22: that the unreceptiveness and the municipalness happens is triggered by the unactableness. sent23: the humming does not occur.
void -> assump1: Let's assume that the unactableness occurs.; sent22 & assump1 -> int1: both the non-receptiveness and the municipalness occurs.; int1 -> int2: the municipalness happens.; sent8 & sent23 -> int3: both the non-municipalness and the non-usefulness happens.; int3 -> int4: the municipalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unactableness does not occur.; int6 & sent4 -> hypothesis;
the autumnalness does not occur.
$hypothesis$ = the autumnalness occurs. ; $context$ = sent1: if the resetting bacteriologist does not occur then the lettering intermezzo occurs and/or the troubling Sanhedrin happens. sent2: the lettering intermezzo happens and the troubling Sanhedrin occurs if the resetting bacteriologist does not occur. sent3: if the covering occurs the non-Sumerianness and the molecularness occurs. sent4: if the unactableness does not occur the autumnalness happens. sent5: if the lettering intermezzo happens then the humming occurs. sent6: if that the resetting bacteriologist occurs but the nesting does not occur is false the resetting bacteriologist does not occur. sent7: the usefulness does not occur. sent8: if the humming does not occur the non-municipalness and the non-usefulness happens. sent9: if that the hurl happens is true that the resetting bacteriologist occurs but the nesting does not occur is incorrect. sent10: if the humming occurs then the fact that both the actableness and the non-usefulness happens does not hold. sent11: the receptiveness does not occur. sent12: if that the actableness and the non-usefulness happens is not correct then the autumnalness does not occur. sent13: that the receptiveness does not occur is brought about by that the unactableness occurs. sent14: if the usefulness occurs then the fact that the autumnalness happens but the humming does not occur does not hold. sent15: the thinkableness does not occur if the non-thinkableness or the non-cheerfulness or both occurs. sent16: if that the nest happens is not wrong then the resetting bacteriologist does not occur and the hurl does not occur. sent17: the autumnalness does not occur if the fact that the autumnalness but not the humming happens is not true. sent18: if the lettering intermezzo happens then the usefulness happens. sent19: that that the presence and the nest happens is brought about by the unthinkableness is not wrong. sent20: the hurling happens if the hurling and/or the unthinkableness happens. sent21: the usefulness does not occur if the humming does not occur. sent22: that the unreceptiveness and the municipalness happens is triggered by the unactableness. sent23: the humming does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unactableness occurs.; sent22 & assump1 -> int1: both the non-receptiveness and the municipalness occurs.; int1 -> int2: the municipalness happens.; sent8 & sent23 -> int3: both the non-municipalness and the non-usefulness happens.; int3 -> int4: the municipalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unactableness does not occur.; int6 & sent4 -> hypothesis; __PROVED__