the fact that the consecration does not occur hold.
sent1: the tegularness does not occur. sent2: the protectiveness happens. sent3: the Dostoevskianness is caused by either that the inculcation does not occur or that the incidentalness does not occur or both. sent4: that the medullariness happens yields that the meeting glycerogelatin happens and/or that the meeting palatability does not occur. sent5: the assertiveness occurs if the fact that not the medium but the medullariness occurs is wrong. sent6: that the succession happens yields that not the communicativeness but the seeking broiler happens. sent7: that the pleading does not occur is prevented by that the meeting glycerogelatin does not occur or that the meeting palatability does not occur or both. sent8: the grumble does not occur. sent9: that the consecration does not occur is triggered by that the pleading and the protectiveness happens. sent10: the fact that the medullariness does not occur and the medium does not occur is not true. sent11: if the medullariness occurs the meeting glycerogelatin does not occur and/or the meeting palatability does not occur. sent12: the fact that the protectiveness does not occur and the consecration does not occur is false if the communicativeness does not occur. sent13: the contribution does not occur and the tonsure does not occur. sent14: if that the medium occurs is correct the fact that the consecration does not occur but the medullariness occurs is incorrect. sent15: that the meeting glycerogelatin does not occur and/or that the meeting palatability occurs is caused by that the medullariness happens. sent16: the fact that both the unprotectiveness and the pleading occurs is wrong if the communicativeness happens. sent17: the medium does not occur. sent18: the backup is prevented by that the tegularness does not occur and the grumbling does not occur. sent19: if that the consecration does not occur but the medullariness happens is not correct then the consecration occurs. sent20: either the meeting glycerogelatin happens or the meeting palatability does not occur or both. sent21: the meeting glycerogelatin does not occur or the meeting palatability happens or both. sent22: that the backup does not occur yields that the succession occurs and the muffling occurs. sent23: if the meeting glycerogelatin occurs then the meeting palatability occurs.
void -> assump1: Let's assume that the medullariness does not occur.; assump1 & sent17 -> int1: the medullariness does not occur and the medium does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the medullariness happens.; int3 & sent11 -> int4: the meeting glycerogelatin does not occur or the meeting palatability does not occur or both.; int4 & sent7 -> int5: the pleading occurs.; int5 & sent2 -> int6: both the pleading and the protectiveness happens.; int6 & sent9 -> hypothesis;
the assertiveness occurs.
sent1 & sent8 -> int7: the tegularness does not occur and the grumbling does not occur.; sent18 & int7 -> int8: the backup does not occur.; sent22 & int8 -> int9: both the succession and the muffling happens.; int9 -> int10: the succession occurs.; sent6 & int10 -> int11: the communicativeness does not occur but the seeking broiler happens.; int11 -> int12: the communicativeness does not occur.; sent12 & int12 -> int13: that the protectiveness does not occur and the consecration does not occur does not hold.;
$hypothesis$ = the fact that the consecration does not occur hold. ; $context$ = sent1: the tegularness does not occur. sent2: the protectiveness happens. sent3: the Dostoevskianness is caused by either that the inculcation does not occur or that the incidentalness does not occur or both. sent4: that the medullariness happens yields that the meeting glycerogelatin happens and/or that the meeting palatability does not occur. sent5: the assertiveness occurs if the fact that not the medium but the medullariness occurs is wrong. sent6: that the succession happens yields that not the communicativeness but the seeking broiler happens. sent7: that the pleading does not occur is prevented by that the meeting glycerogelatin does not occur or that the meeting palatability does not occur or both. sent8: the grumble does not occur. sent9: that the consecration does not occur is triggered by that the pleading and the protectiveness happens. sent10: the fact that the medullariness does not occur and the medium does not occur is not true. sent11: if the medullariness occurs the meeting glycerogelatin does not occur and/or the meeting palatability does not occur. sent12: the fact that the protectiveness does not occur and the consecration does not occur is false if the communicativeness does not occur. sent13: the contribution does not occur and the tonsure does not occur. sent14: if that the medium occurs is correct the fact that the consecration does not occur but the medullariness occurs is incorrect. sent15: that the meeting glycerogelatin does not occur and/or that the meeting palatability occurs is caused by that the medullariness happens. sent16: the fact that both the unprotectiveness and the pleading occurs is wrong if the communicativeness happens. sent17: the medium does not occur. sent18: the backup is prevented by that the tegularness does not occur and the grumbling does not occur. sent19: if that the consecration does not occur but the medullariness happens is not correct then the consecration occurs. sent20: either the meeting glycerogelatin happens or the meeting palatability does not occur or both. sent21: the meeting glycerogelatin does not occur or the meeting palatability happens or both. sent22: that the backup does not occur yields that the succession occurs and the muffling occurs. sent23: if the meeting glycerogelatin occurs then the meeting palatability occurs. ; $proof$ = 
void -> assump1: Let's assume that the medullariness does not occur.; assump1 & sent17 -> int1: the medullariness does not occur and the medium does not occur.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the medullariness happens.; int3 & sent11 -> int4: the meeting glycerogelatin does not occur or the meeting palatability does not occur or both.; int4 & sent7 -> int5: the pleading occurs.; int5 & sent2 -> int6: both the pleading and the protectiveness happens.; int6 & sent9 -> hypothesis; __PROVED__