the fact that that the comptrollership does not occur and the resident does not occur is not right hold.
sent1: the fact that the comptrollership does not occur and the residentness does not occur is incorrect if the perjury occurs. sent2: if the carotidness occurs then that the clustering does not occur and the hypertensiveness does not occur does not hold. sent3: the fact that the non-Rooseveltianness and the cloistering Siva occurs is incorrect. sent4: that the stoking zymology and the taste happens is not right. sent5: that not the comptrollership but the residentness happens is incorrect. sent6: the fact that the stoking simile does not occur hold. sent7: the fact that that the stoking zymology does not occur and the stoking simile does not occur hold yields that the lunging does not occur. sent8: if that the clustering does not occur and the hypertensiveness does not occur does not hold then the sermonizing smelt does not occur. sent9: that the unopposableness does not occur is right. sent10: that not the clustering but the hypertensive happens does not hold if the carotidness happens. sent11: if the fact that that the hypertensiveness occurs and the comptrollership happens is not correct is not wrong then the comptrollership does not occur. sent12: that the sermonizing smelt does not occur and the lunge does not occur brings about that the perjury happens. sent13: the fact that the clustering but not the hypertensiveness happens is wrong if the carotidness happens. sent14: if that the stoking zymology and the tasting occurs is wrong the stoking zymology does not occur. sent15: that the comptrollership happens and the resident does not occur does not hold. sent16: if the carotidness does not occur that both the unpronounceableness and the opposableness happens is not right. sent17: the unpronounceableness occurs.
void -> assump1: Let's assume that the carotidness does not occur.; sent16 & assump1 -> int1: that the unpronounceableness but not the unopposableness occurs is wrong.; sent17 & sent9 -> int2: the unpronounceableness occurs but the unopposableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the carotidness occurs is right.; int4 & sent2 -> int5: that the clustering does not occur and the hypertensive does not occur is incorrect.; int5 & sent8 -> int6: the sermonizing smelt does not occur.; sent14 & sent4 -> int7: the stoking zymology does not occur.; int7 & sent6 -> int8: the stoking zymology does not occur and the stoking simile does not occur.; sent7 & int8 -> int9: the lunging does not occur.; int6 & int9 -> int10: the sermonizing smelt does not occur and the lunging does not occur.; int10 & sent12 -> int11: the perjury occurs.; int11 & sent1 -> hypothesis;
the comptrollership does not occur and the residentness does not occur.
$hypothesis$ = the fact that that the comptrollership does not occur and the resident does not occur is not right hold. ; $context$ = sent1: the fact that the comptrollership does not occur and the residentness does not occur is incorrect if the perjury occurs. sent2: if the carotidness occurs then that the clustering does not occur and the hypertensiveness does not occur does not hold. sent3: the fact that the non-Rooseveltianness and the cloistering Siva occurs is incorrect. sent4: that the stoking zymology and the taste happens is not right. sent5: that not the comptrollership but the residentness happens is incorrect. sent6: the fact that the stoking simile does not occur hold. sent7: the fact that that the stoking zymology does not occur and the stoking simile does not occur hold yields that the lunging does not occur. sent8: if that the clustering does not occur and the hypertensiveness does not occur does not hold then the sermonizing smelt does not occur. sent9: that the unopposableness does not occur is right. sent10: that not the clustering but the hypertensive happens does not hold if the carotidness happens. sent11: if the fact that that the hypertensiveness occurs and the comptrollership happens is not correct is not wrong then the comptrollership does not occur. sent12: that the sermonizing smelt does not occur and the lunge does not occur brings about that the perjury happens. sent13: the fact that the clustering but not the hypertensiveness happens is wrong if the carotidness happens. sent14: if that the stoking zymology and the tasting occurs is wrong the stoking zymology does not occur. sent15: that the comptrollership happens and the resident does not occur does not hold. sent16: if the carotidness does not occur that both the unpronounceableness and the opposableness happens is not right. sent17: the unpronounceableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the carotidness does not occur.; sent16 & assump1 -> int1: that the unpronounceableness but not the unopposableness occurs is wrong.; sent17 & sent9 -> int2: the unpronounceableness occurs but the unopposableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the carotidness occurs is right.; int4 & sent2 -> int5: that the clustering does not occur and the hypertensive does not occur is incorrect.; int5 & sent8 -> int6: the sermonizing smelt does not occur.; sent14 & sent4 -> int7: the stoking zymology does not occur.; int7 & sent6 -> int8: the stoking zymology does not occur and the stoking simile does not occur.; sent7 & int8 -> int9: the lunging does not occur.; int6 & int9 -> int10: the sermonizing smelt does not occur and the lunging does not occur.; int10 & sent12 -> int11: the perjury occurs.; int11 & sent1 -> hypothesis; __PROVED__