that the creep does not occur is not incorrect.
sent1: the creeping does not occur if the fact that not the pleaching metropolitan but the inefficientness happens is not right. sent2: that both the furrowing and the healing occurs prevents the Chinook. sent3: that not the vexing Rhamnus but the post-communistness happens does not hold if the Chinook does not occur. sent4: if the utility happens then the confusion occurs. sent5: either the working ting occurs or the basidialness happens or both if the acetonicness does not occur. sent6: the fact that the inefficientness occurs is not false. sent7: the pleaching metropolitan happens. sent8: both the non-acetonicness and the non-bohemianness occurs. sent9: that the Order does not occur results in that the furrowing happens and the inconsiderableness occurs. sent10: if the confusion happens then the fact that both the non-pericardialness and the Order occurs is not correct. sent11: the utility happens if the basidialness happens. sent12: the inefficientness does not occur if the post-communistness does not occur. sent13: if the inefficientness does not occur the creep and the pleaching metropolitan happens. sent14: the fact that the utility happens is not wrong if the working ting occurs. sent15: the Order does not occur if that both the non-pericardialness and the Order happens is not right. sent16: if the fact that the vexing Rhamnus does not occur and the post-communistness occurs is not correct the post-communistness does not occur.
void -> assump1: Let's assume that not the pleaching metropolitan but the inefficientness happens.; assump1 -> int1: that the pleaching metropolitan does not occur hold.; sent7 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pleaching metropolitan does not occur and the inefficientness happens is false.; sent1 & int3 -> hypothesis;
the creeping occurs.
sent8 -> int4: the acetonicness does not occur.; sent5 & int4 -> int5: the working ting happens or the basidialness occurs or both.; int5 & sent14 & sent11 -> int6: the utility occurs.; sent4 & int6 -> int7: the confusion occurs.; sent10 & int7 -> int8: the fact that not the pericardialness but the Order happens does not hold.; sent15 & int8 -> int9: the Order does not occur.; sent9 & int9 -> int10: the furrow occurs and the inconsiderableness occurs.; int10 -> int11: the furrow occurs.;
$hypothesis$ = that the creep does not occur is not incorrect. ; $context$ = sent1: the creeping does not occur if the fact that not the pleaching metropolitan but the inefficientness happens is not right. sent2: that both the furrowing and the healing occurs prevents the Chinook. sent3: that not the vexing Rhamnus but the post-communistness happens does not hold if the Chinook does not occur. sent4: if the utility happens then the confusion occurs. sent5: either the working ting occurs or the basidialness happens or both if the acetonicness does not occur. sent6: the fact that the inefficientness occurs is not false. sent7: the pleaching metropolitan happens. sent8: both the non-acetonicness and the non-bohemianness occurs. sent9: that the Order does not occur results in that the furrowing happens and the inconsiderableness occurs. sent10: if the confusion happens then the fact that both the non-pericardialness and the Order occurs is not correct. sent11: the utility happens if the basidialness happens. sent12: the inefficientness does not occur if the post-communistness does not occur. sent13: if the inefficientness does not occur the creep and the pleaching metropolitan happens. sent14: the fact that the utility happens is not wrong if the working ting occurs. sent15: the Order does not occur if that both the non-pericardialness and the Order happens is not right. sent16: if the fact that the vexing Rhamnus does not occur and the post-communistness occurs is not correct the post-communistness does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the pleaching metropolitan but the inefficientness happens.; assump1 -> int1: that the pleaching metropolitan does not occur hold.; sent7 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pleaching metropolitan does not occur and the inefficientness happens is false.; sent1 & int3 -> hypothesis; __PROVED__