the fact that the list does not occur and the machine-madeness does not occur does not hold.
sent1: that the crooking bean does not occur or the bulbaceousness does not occur or both is not right if the sexiness does not occur. sent2: the fact that the fact that both the list and the non-machine-madeness happens is true is incorrect if the fact that the glimpsing does not occur is correct. sent3: the glimpsing yields that the crooking bean does not occur or the bulbaceousness does not occur or both. sent4: that not the listing but the machine-madeness occurs is incorrect. sent5: the bulbaceousness occurs. sent6: the fact that the fact that the internationalization does not occur or the canceling leasehold does not occur or both does not hold if the crustoseness does not occur is not wrong. sent7: the fact that either the crooking general happens or the sexiness does not occur or both is wrong if the crooking ethnocentrism does not occur. sent8: that the sexiness does not occur is right. sent9: the nodding cicerone does not occur. sent10: the listing does not occur if that the crooking general or the unsexyness or both happens is incorrect. sent11: the fact that the mushing does not occur hold if the fact that the non-machine-madeness and the glimpsing happens is not correct. sent12: that the fact that either the loyalty does not occur or the canceling spill does not occur or both hold is wrong. sent13: the fact that the bulbaceousness happens if the sexiness does not occur hold. sent14: the fact that the listing does not occur and the machine-madeness does not occur is wrong if the glimpse does not occur. sent15: that the glimpsing happens results in that the crooking bean does not occur or that the bulbaceousness occurs or both. sent16: if the ileostomy occurs the logicalness happens and the nodding bufflehead does not occur. sent17: the crooking bean does not occur or the bulbaceousness occurs or both. sent18: if both the preferment and the nonslipperyness happens the crooking ethnocentrism does not occur. sent19: the fact that not the list but the machine-madeness happens is not true if the glimpsing does not occur. sent20: if the indeterminateness does not occur then the fact that the marketing does not occur and/or the subjugation does not occur is false. sent21: the fact that the listing happens but the machine-madeness does not occur is not true. sent22: the fact that the passing does not occur is not false. sent23: if the crooking ethnocentrism does not occur then both the sexiness and the crooking general occurs. sent24: if the nodding bufflehead does not occur both the preferment and the nonslipperyness happens.
void -> assump1: Let's assume that the glimpse occurs.; sent3 & assump1 -> int1: the crooking bean does not occur and/or the bulbaceousness does not occur.; sent1 & sent8 -> int2: that the crooking bean does not occur or the bulbaceousness does not occur or both does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glimpsing does not occur.; int4 & sent14 -> hypothesis;
the listing does not occur and the machine-madeness does not occur.
$hypothesis$ = the fact that the list does not occur and the machine-madeness does not occur does not hold. ; $context$ = sent1: that the crooking bean does not occur or the bulbaceousness does not occur or both is not right if the sexiness does not occur. sent2: the fact that the fact that both the list and the non-machine-madeness happens is true is incorrect if the fact that the glimpsing does not occur is correct. sent3: the glimpsing yields that the crooking bean does not occur or the bulbaceousness does not occur or both. sent4: that not the listing but the machine-madeness occurs is incorrect. sent5: the bulbaceousness occurs. sent6: the fact that the fact that the internationalization does not occur or the canceling leasehold does not occur or both does not hold if the crustoseness does not occur is not wrong. sent7: the fact that either the crooking general happens or the sexiness does not occur or both is wrong if the crooking ethnocentrism does not occur. sent8: that the sexiness does not occur is right. sent9: the nodding cicerone does not occur. sent10: the listing does not occur if that the crooking general or the unsexyness or both happens is incorrect. sent11: the fact that the mushing does not occur hold if the fact that the non-machine-madeness and the glimpsing happens is not correct. sent12: that the fact that either the loyalty does not occur or the canceling spill does not occur or both hold is wrong. sent13: the fact that the bulbaceousness happens if the sexiness does not occur hold. sent14: the fact that the listing does not occur and the machine-madeness does not occur is wrong if the glimpse does not occur. sent15: that the glimpsing happens results in that the crooking bean does not occur or that the bulbaceousness occurs or both. sent16: if the ileostomy occurs the logicalness happens and the nodding bufflehead does not occur. sent17: the crooking bean does not occur or the bulbaceousness occurs or both. sent18: if both the preferment and the nonslipperyness happens the crooking ethnocentrism does not occur. sent19: the fact that not the list but the machine-madeness happens is not true if the glimpsing does not occur. sent20: if the indeterminateness does not occur then the fact that the marketing does not occur and/or the subjugation does not occur is false. sent21: the fact that the listing happens but the machine-madeness does not occur is not true. sent22: the fact that the passing does not occur is not false. sent23: if the crooking ethnocentrism does not occur then both the sexiness and the crooking general occurs. sent24: if the nodding bufflehead does not occur both the preferment and the nonslipperyness happens. ; $proof$ = 
void -> assump1: Let's assume that the glimpse occurs.; sent3 & assump1 -> int1: the crooking bean does not occur and/or the bulbaceousness does not occur.; sent1 & sent8 -> int2: that the crooking bean does not occur or the bulbaceousness does not occur or both does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glimpsing does not occur.; int4 & sent14 -> hypothesis; __PROVED__