that the indexing does not occur is not wrong.
sent1: if the seeking Gomphrena does not occur then the meeting automatism does not occur. sent2: if the nosing hound does not occur then the seeking CTC does not occur and the nosing noiselessness does not occur. sent3: the meeting ashram happens and the seeking Gomphrena does not occur if the intussuscepting does not occur. sent4: that the hydrokineticness happens brings about either the trusteeship or that the nosing earflap does not occur or both. sent5: if the precipitating does not occur that the coccalness but not the gallivanting happens is wrong. sent6: if the nosing earflap does not occur then the assumption does not occur. sent7: the sculpturalness does not occur if that that the coccalness but not the gallivanting happens is not correct is right. sent8: the assumption is brought about by the trusteeship. sent9: the assumption does not occur if the fact that the trusteeship happens hold. sent10: if the meeting automatism does not occur then the fact that the polyphonicness and the nosing hound occurs is wrong. sent11: both the freemail and the non-bioticness happens if the seeking CTC does not occur. sent12: the precipitate does not occur if the soundingness does not occur. sent13: the fact that if the fact that the polyphonicness and the nosing hound happens is not true the nosing hound does not occur is right. sent14: the indexing does not occur if the bioticness or the freemail or both happens. sent15: that the seeking CTC occurs and the assumption occurs is true. sent16: the intussuscepting does not occur and the prize does not occur if that the sculpturalness does not occur hold. sent17: that the indexing does not occur is prevented by that the hydrokineticness happens but the assumption does not occur.
void -> assump1: Let's assume that the hydrokineticness occurs.; sent4 & assump1 -> int1: either the trusteeship occurs or the nosing earflap does not occur or both.; int1 & sent9 & sent6 -> int2: the assumption does not occur.; sent15 -> int3: the assumption occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hydrokineticness does not occur.;
the indexing happens.
$hypothesis$ = that the indexing does not occur is not wrong. ; $context$ = sent1: if the seeking Gomphrena does not occur then the meeting automatism does not occur. sent2: if the nosing hound does not occur then the seeking CTC does not occur and the nosing noiselessness does not occur. sent3: the meeting ashram happens and the seeking Gomphrena does not occur if the intussuscepting does not occur. sent4: that the hydrokineticness happens brings about either the trusteeship or that the nosing earflap does not occur or both. sent5: if the precipitating does not occur that the coccalness but not the gallivanting happens is wrong. sent6: if the nosing earflap does not occur then the assumption does not occur. sent7: the sculpturalness does not occur if that that the coccalness but not the gallivanting happens is not correct is right. sent8: the assumption is brought about by the trusteeship. sent9: the assumption does not occur if the fact that the trusteeship happens hold. sent10: if the meeting automatism does not occur then the fact that the polyphonicness and the nosing hound occurs is wrong. sent11: both the freemail and the non-bioticness happens if the seeking CTC does not occur. sent12: the precipitate does not occur if the soundingness does not occur. sent13: the fact that if the fact that the polyphonicness and the nosing hound happens is not true the nosing hound does not occur is right. sent14: the indexing does not occur if the bioticness or the freemail or both happens. sent15: that the seeking CTC occurs and the assumption occurs is true. sent16: the intussuscepting does not occur and the prize does not occur if that the sculpturalness does not occur hold. sent17: that the indexing does not occur is prevented by that the hydrokineticness happens but the assumption does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hydrokineticness occurs.; sent4 & assump1 -> int1: either the trusteeship occurs or the nosing earflap does not occur or both.; int1 & sent9 & sent6 -> int2: the assumption does not occur.; sent15 -> int3: the assumption occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hydrokineticness does not occur.; __UNKNOWN__