the fact that the mud-brickness does not occur and the stranglehold does not occur does not hold.
sent1: the four-hitter happens. sent2: if the subsiding webpage does not occur then the buck occurs. sent3: that the bye does not occur hold. sent4: the subsiding webpage occurs if the jointing occurs. sent5: if the subsiding webpage does not occur the Mosaic and the bucking occurs. sent6: the dwarfing counts/minute and the Donatist happens if the subsiding railing does not occur. sent7: the bucking happens. sent8: that the four-hitter occurs and the mud-brickness happens yields that the Mosaicness does not occur. sent9: the subsiding webpage does not occur. sent10: if the widening happens then the reciprocation does not occur and the enslavement does not occur. sent11: the widening does not occur and the guarding NIH does not occur. sent12: if the four-hitter does not occur then the fact that the guarding crested does not occur and the mud-brickness does not occur is not true. sent13: that the mud-brickness does not occur and the stranglehold does not occur is wrong if the four-hitter does not occur. sent14: the stranglehold does not occur. sent15: if the tread does not occur then both the cecalness and the idealizing vara occurs. sent16: the tibialness does not occur and the yielding does not occur. sent17: the idealizing vara happens. sent18: if the idealizing addition occurs and the transforming occurs then the colonialism does not occur. sent19: both the exodus and the relative happens. sent20: the sightseeing does not occur. sent21: if the reciprocation does not occur the subsiding humming happens and the jointed occurs. sent22: the keying happens. sent23: if the fact that the guarding crested does not occur and the mud-brickness does not occur is not right the guarding crested occurs.
void -> assump1: Let's assume that the mud-brickness occurs.; sent1 & assump1 -> int1: the four-hitter and the mud-brickness happens.; int1 & sent8 -> int2: the Mosaicness does not occur.; sent5 & sent9 -> int3: the Mosaic and the bucking occurs.; int3 -> int4: the Mosaic happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mud-brickness does not occur.; int6 & sent14 -> hypothesis;
that the mud-brickness does not occur and the stranglehold does not occur does not hold.
$hypothesis$ = the fact that the mud-brickness does not occur and the stranglehold does not occur does not hold. ; $context$ = sent1: the four-hitter happens. sent2: if the subsiding webpage does not occur then the buck occurs. sent3: that the bye does not occur hold. sent4: the subsiding webpage occurs if the jointing occurs. sent5: if the subsiding webpage does not occur the Mosaic and the bucking occurs. sent6: the dwarfing counts/minute and the Donatist happens if the subsiding railing does not occur. sent7: the bucking happens. sent8: that the four-hitter occurs and the mud-brickness happens yields that the Mosaicness does not occur. sent9: the subsiding webpage does not occur. sent10: if the widening happens then the reciprocation does not occur and the enslavement does not occur. sent11: the widening does not occur and the guarding NIH does not occur. sent12: if the four-hitter does not occur then the fact that the guarding crested does not occur and the mud-brickness does not occur is not true. sent13: that the mud-brickness does not occur and the stranglehold does not occur is wrong if the four-hitter does not occur. sent14: the stranglehold does not occur. sent15: if the tread does not occur then both the cecalness and the idealizing vara occurs. sent16: the tibialness does not occur and the yielding does not occur. sent17: the idealizing vara happens. sent18: if the idealizing addition occurs and the transforming occurs then the colonialism does not occur. sent19: both the exodus and the relative happens. sent20: the sightseeing does not occur. sent21: if the reciprocation does not occur the subsiding humming happens and the jointed occurs. sent22: the keying happens. sent23: if the fact that the guarding crested does not occur and the mud-brickness does not occur is not right the guarding crested occurs. ; $proof$ = 
void -> assump1: Let's assume that the mud-brickness occurs.; sent1 & assump1 -> int1: the four-hitter and the mud-brickness happens.; int1 & sent8 -> int2: the Mosaicness does not occur.; sent5 & sent9 -> int3: the Mosaic and the bucking occurs.; int3 -> int4: the Mosaic happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mud-brickness does not occur.; int6 & sent14 -> hypothesis; __DISPROVED__