not the impreciseness but the bonelessness occurs.
sent1: the superiorness does not occur if that the fogbank happens and the breaststroke does not occur is incorrect. sent2: that the aeriferousness does not occur brings about that both the downing blastema and the pasteurization occurs. sent3: the fact that the growth does not occur and the punching does not occur is not true if the procurement does not occur. sent4: the electrochemicalness occurs. sent5: that the photosensitizing jawbreaker does not occur is caused by that the listing does not occur but the prompt happens. sent6: the electrochemicalness is prevented by that the impreciseness and the photosensitizing putridity happens. sent7: the photosensitizing putridity occurs. sent8: the bonelessness happens if the hoodooing forecastle does not occur and the resurrecting occurs. sent9: if the fact that both the listing and the non-elocutionaryness occurs is not correct then the listing does not occur. sent10: if the photosensitizing putridity does not occur that both the preciseness and the bonelessness occurs is not true. sent11: if the photosensitizing jawbreaker does not occur not the hoodooing forecastle but the resurrecting occurs. sent12: if that the redaction does not occur and the appealableness does not occur is not true the decking alteration does not occur. sent13: the listing does not occur and the prompting occurs. sent14: the aeriferousness does not occur if that the growth does not occur and the punching does not occur is false. sent15: if the superior does not occur then that the redaction does not occur and the appealableness does not occur does not hold. sent16: if the pasteurization happens not the grievance but the disreputableness happens. sent17: the non-unpaintableness and/or the non-eparchialness is triggered by that the decking alteration does not occur. sent18: if the fact that the photosensitizing jawbreaker does not occur but the prompt occurs is false the hoodooing forecastle does not occur. sent19: if the grievance does not occur the fact that the listing but not the elocutionariness occurs is not correct. sent20: that the resurrecting happens or that the electrochemicalness happens or both is caused by that the hoodooing forecastle does not occur. sent21: that the eparchialness does not occur is triggered by either that the unpaintableness does not occur or the eparchialnessness or both. sent22: if the fact that the photosensitizing airspace and the bifilarness happens is incorrect the procurement does not occur. sent23: if the fact that the eparchialness does not occur hold then the fact that both the photosensitizing airspace and the bifilarness occurs is not correct. sent24: if either the downing conserve does not occur or the downing advisee does not occur or both then the downing advisee does not occur. sent25: that the fogbank occurs but the breaststroking does not occur is not correct if the downing advisee does not occur.
void -> assump1: Let's assume that the impreciseness happens.; assump1 & sent7 -> int1: both the impreciseness and the photosensitizing putridity occurs.; int1 & sent6 -> int2: that the electrochemicalness does not occur is correct.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the impreciseness does not occur hold.; sent5 & sent13 -> int5: the photosensitizing jawbreaker does not occur.; sent11 & int5 -> int6: the hoodooing forecastle does not occur and the resurrecting happens.; sent8 & int6 -> int7: the bonelessness happens.; int4 & int7 -> hypothesis;
that the non-impreciseness and the bonelessness occurs is wrong.
$hypothesis$ = not the impreciseness but the bonelessness occurs. ; $context$ = sent1: the superiorness does not occur if that the fogbank happens and the breaststroke does not occur is incorrect. sent2: that the aeriferousness does not occur brings about that both the downing blastema and the pasteurization occurs. sent3: the fact that the growth does not occur and the punching does not occur is not true if the procurement does not occur. sent4: the electrochemicalness occurs. sent5: that the photosensitizing jawbreaker does not occur is caused by that the listing does not occur but the prompt happens. sent6: the electrochemicalness is prevented by that the impreciseness and the photosensitizing putridity happens. sent7: the photosensitizing putridity occurs. sent8: the bonelessness happens if the hoodooing forecastle does not occur and the resurrecting occurs. sent9: if the fact that both the listing and the non-elocutionaryness occurs is not correct then the listing does not occur. sent10: if the photosensitizing putridity does not occur that both the preciseness and the bonelessness occurs is not true. sent11: if the photosensitizing jawbreaker does not occur not the hoodooing forecastle but the resurrecting occurs. sent12: if that the redaction does not occur and the appealableness does not occur is not true the decking alteration does not occur. sent13: the listing does not occur and the prompting occurs. sent14: the aeriferousness does not occur if that the growth does not occur and the punching does not occur is false. sent15: if the superior does not occur then that the redaction does not occur and the appealableness does not occur does not hold. sent16: if the pasteurization happens not the grievance but the disreputableness happens. sent17: the non-unpaintableness and/or the non-eparchialness is triggered by that the decking alteration does not occur. sent18: if the fact that the photosensitizing jawbreaker does not occur but the prompt occurs is false the hoodooing forecastle does not occur. sent19: if the grievance does not occur the fact that the listing but not the elocutionariness occurs is not correct. sent20: that the resurrecting happens or that the electrochemicalness happens or both is caused by that the hoodooing forecastle does not occur. sent21: that the eparchialness does not occur is triggered by either that the unpaintableness does not occur or the eparchialnessness or both. sent22: if the fact that the photosensitizing airspace and the bifilarness happens is incorrect the procurement does not occur. sent23: if the fact that the eparchialness does not occur hold then the fact that both the photosensitizing airspace and the bifilarness occurs is not correct. sent24: if either the downing conserve does not occur or the downing advisee does not occur or both then the downing advisee does not occur. sent25: that the fogbank occurs but the breaststroking does not occur is not correct if the downing advisee does not occur. ; $proof$ = 
void -> assump1: Let's assume that the impreciseness happens.; assump1 & sent7 -> int1: both the impreciseness and the photosensitizing putridity occurs.; int1 & sent6 -> int2: that the electrochemicalness does not occur is correct.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the impreciseness does not occur hold.; sent5 & sent13 -> int5: the photosensitizing jawbreaker does not occur.; sent11 & int5 -> int6: the hoodooing forecastle does not occur and the resurrecting happens.; sent8 & int6 -> int7: the bonelessness happens.; int4 & int7 -> hypothesis; __PROVED__