the fact that that the criticizing happens leads to the thematicness is wrong.
sent1: the unthematicness occurs if the criticizing happens. sent2: the breakableness occurs. sent3: if the breakableness happens or the unthematicness occurs or both then the criticizing does not occur. sent4: the helm happens. sent5: the flaking does not occur. sent6: the fact that the abomination does not occur hold. sent7: if the ginning mesentery does not occur then the unthematicness happens and/or the criticizing happens. sent8: the cricket does not occur. sent9: the disowning Kinosternon occurs or the wiglessness occurs or both. sent10: the contestableness occurs. sent11: if the symbolism happens the ginning mesentery does not occur. sent12: that the holographicness happens is not false. sent13: the wardenship does not occur. sent14: if the breakable happens then the reprising SOP occurs. sent15: that the bardolatry does not occur yields that both the intelligibleness and the disowning blackheart occurs. sent16: the ginning mesentery does not occur. sent17: that the intelligibleness occurs causes that the symbolism happens. sent18: the inhibition occurs and/or the disowning micrometer happens. sent19: the rulership does not occur.
void -> assump2: Let's assume that that the unthematicness happens is correct.; assump2 -> int1: the breakableness and/or the unthematicness happens.; int1 & sent3 -> int2: the criticizing does not occur.; void -> assump1: Let's assume that the criticizing occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the unthematicness does not occur.; [assump1] & int4 -> hypothesis;
the reprising SOP happens.
$hypothesis$ = the fact that that the criticizing happens leads to the thematicness is wrong. ; $context$ = sent1: the unthematicness occurs if the criticizing happens. sent2: the breakableness occurs. sent3: if the breakableness happens or the unthematicness occurs or both then the criticizing does not occur. sent4: the helm happens. sent5: the flaking does not occur. sent6: the fact that the abomination does not occur hold. sent7: if the ginning mesentery does not occur then the unthematicness happens and/or the criticizing happens. sent8: the cricket does not occur. sent9: the disowning Kinosternon occurs or the wiglessness occurs or both. sent10: the contestableness occurs. sent11: if the symbolism happens the ginning mesentery does not occur. sent12: that the holographicness happens is not false. sent13: the wardenship does not occur. sent14: if the breakable happens then the reprising SOP occurs. sent15: that the bardolatry does not occur yields that both the intelligibleness and the disowning blackheart occurs. sent16: the ginning mesentery does not occur. sent17: that the intelligibleness occurs causes that the symbolism happens. sent18: the inhibition occurs and/or the disowning micrometer happens. sent19: the rulership does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the unthematicness happens is correct.; assump2 -> int1: the breakableness and/or the unthematicness happens.; int1 & sent3 -> int2: the criticizing does not occur.; void -> assump1: Let's assume that the criticizing occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the unthematicness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__