that the consorting lithograph does not occur and the inexcusableness does not occur is not true.
sent1: that the inexcusableness occurs is prevented by either that the consorting highlight does not occur or that the inexcusableness does not occur or both. sent2: the fact that the consorting lithograph does not occur and the inexcusableness does not occur is not right if the cancroid does not occur. sent3: the throbbing happens. sent4: that the jockeying seaplane does not occur is triggered by that the Draconianness happens and the clanking bunco happens. sent5: if the consorting composite does not occur the fact that the stripping occurs is true. sent6: if the laundering does not occur the bearing does not occur or the jockeying sacrifice occurs or both. sent7: the consorting Galilee does not occur or the infallibleness happens or both. sent8: the Draconianness occurs. sent9: if the consorting doornail does not occur then the fact that the bear does not occur and/or the jockeying sacrifice does not occur does not hold. sent10: that the clanking headlinese occurs but the jockeying incurvation does not occur does not hold. sent11: the bear does not occur and/or the jockeying sacrifice happens. sent12: the fact that the consorting hallstand does not occur and the nidifugousness does not occur does not hold. sent13: the IV happens. sent14: the consorting stoplight and the consorting imidazole happens. sent15: the clanking headlinese happens if the jockeying census does not occur. sent16: the cruciferousness happens. sent17: both the existentialness and the paroxysmalness occurs if the profitableness does not occur. sent18: the profaneness does not occur. sent19: the consorting doornail does not occur. sent20: that the travestying SACLANT does not occur or the mistaking does not occur or both is incorrect. sent21: the profitableness does not occur. sent22: the consorting highlight happens if the existentialness happens. sent23: either that the bear does not occur or that the jockeying sacrifice does not occur or both is brought about by that the laundering does not occur. sent24: the fact that the paroxysmalness occurs is not incorrect if the profitableness happens. sent25: the consorting lithograph does not occur if the fact that the consorting lithograph and the laundering occurs is incorrect. sent26: if the existentialness does not occur then that both the consorting lithograph and the laundering happens is not right. sent27: the consorting EE does not occur.
void -> assump1: Let's assume that the laundering does not occur.; sent23 & assump1 -> int1: the bearing does not occur and/or the jockeying sacrifice does not occur.; sent9 & sent19 -> int2: the fact that the bear does not occur and/or the jockeying sacrifice does not occur is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the laundering happens.; sent17 & sent21 -> int5: the existentialness and the paroxysmalness occurs.; int5 -> int6: the existentialness happens.; sent22 & int6 -> int7: the consorting highlight happens.; int4 & int7 -> int8: the laundering occurs and the consorting highlight happens.;
the consorting lithograph does not occur and the inexcusableness does not occur.
$hypothesis$ = that the consorting lithograph does not occur and the inexcusableness does not occur is not true. ; $context$ = sent1: that the inexcusableness occurs is prevented by either that the consorting highlight does not occur or that the inexcusableness does not occur or both. sent2: the fact that the consorting lithograph does not occur and the inexcusableness does not occur is not right if the cancroid does not occur. sent3: the throbbing happens. sent4: that the jockeying seaplane does not occur is triggered by that the Draconianness happens and the clanking bunco happens. sent5: if the consorting composite does not occur the fact that the stripping occurs is true. sent6: if the laundering does not occur the bearing does not occur or the jockeying sacrifice occurs or both. sent7: the consorting Galilee does not occur or the infallibleness happens or both. sent8: the Draconianness occurs. sent9: if the consorting doornail does not occur then the fact that the bear does not occur and/or the jockeying sacrifice does not occur does not hold. sent10: that the clanking headlinese occurs but the jockeying incurvation does not occur does not hold. sent11: the bear does not occur and/or the jockeying sacrifice happens. sent12: the fact that the consorting hallstand does not occur and the nidifugousness does not occur does not hold. sent13: the IV happens. sent14: the consorting stoplight and the consorting imidazole happens. sent15: the clanking headlinese happens if the jockeying census does not occur. sent16: the cruciferousness happens. sent17: both the existentialness and the paroxysmalness occurs if the profitableness does not occur. sent18: the profaneness does not occur. sent19: the consorting doornail does not occur. sent20: that the travestying SACLANT does not occur or the mistaking does not occur or both is incorrect. sent21: the profitableness does not occur. sent22: the consorting highlight happens if the existentialness happens. sent23: either that the bear does not occur or that the jockeying sacrifice does not occur or both is brought about by that the laundering does not occur. sent24: the fact that the paroxysmalness occurs is not incorrect if the profitableness happens. sent25: the consorting lithograph does not occur if the fact that the consorting lithograph and the laundering occurs is incorrect. sent26: if the existentialness does not occur then that both the consorting lithograph and the laundering happens is not right. sent27: the consorting EE does not occur. ; $proof$ = 
void -> assump1: Let's assume that the laundering does not occur.; sent23 & assump1 -> int1: the bearing does not occur and/or the jockeying sacrifice does not occur.; sent9 & sent19 -> int2: the fact that the bear does not occur and/or the jockeying sacrifice does not occur is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the laundering happens.; sent17 & sent21 -> int5: the existentialness and the paroxysmalness occurs.; int5 -> int6: the existentialness happens.; sent22 & int6 -> int7: the consorting highlight happens.; int4 & int7 -> int8: the laundering occurs and the consorting highlight happens.; __UNKNOWN__