the clearing median does not occur.
sent1: if that the shuttingness does not occur is right then the blare but not the bitchery occurs. sent2: if the intermediateness does not occur then that the clearing median does not occur is right. sent3: if the fact that the bustling does not occur hold the fact that the shuttingness and the Faustianness happens does not hold. sent4: that the octalness but not the wattage occurs does not hold. sent5: the wattage occurs but the accelerating does not occur if the stylishness does not occur. sent6: the shuttingness does not occur if that both the shuttingness and the Faustianness occurs is not right. sent7: if that the bustle occurs and the Lincolnesqueness happens is not right then the bustle does not occur. sent8: that the intermediate does not occur and/or that the octalness happens results in that the imitation does not occur. sent9: if the bitchery does not occur the stylishness does not occur. sent10: if the intermediateness happens the octalness happens. sent11: the clearing median happens if the wattage but not the accelerating occurs. sent12: the Aleutianness does not occur. sent13: the octalness does not occur if the fact that the octalness but not the wattage happens is not true. sent14: if the companying ox does not occur then the fact that both the bustling and the Lincolnesqueness happens is incorrect.
void -> assump1: Let's assume that the intermediate occurs.; sent10 & assump1 -> int1: the octalness occurs.; sent13 & sent4 -> int2: the fact that the octalness does not occur is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the intermediateness does not occur.; int4 & sent2 -> hypothesis;
the imitation does not occur.
$hypothesis$ = the clearing median does not occur. ; $context$ = sent1: if that the shuttingness does not occur is right then the blare but not the bitchery occurs. sent2: if the intermediateness does not occur then that the clearing median does not occur is right. sent3: if the fact that the bustling does not occur hold the fact that the shuttingness and the Faustianness happens does not hold. sent4: that the octalness but not the wattage occurs does not hold. sent5: the wattage occurs but the accelerating does not occur if the stylishness does not occur. sent6: the shuttingness does not occur if that both the shuttingness and the Faustianness occurs is not right. sent7: if that the bustle occurs and the Lincolnesqueness happens is not right then the bustle does not occur. sent8: that the intermediate does not occur and/or that the octalness happens results in that the imitation does not occur. sent9: if the bitchery does not occur the stylishness does not occur. sent10: if the intermediateness happens the octalness happens. sent11: the clearing median happens if the wattage but not the accelerating occurs. sent12: the Aleutianness does not occur. sent13: the octalness does not occur if the fact that the octalness but not the wattage happens is not true. sent14: if the companying ox does not occur then the fact that both the bustling and the Lincolnesqueness happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the intermediate occurs.; sent10 & assump1 -> int1: the octalness occurs.; sent13 & sent4 -> int2: the fact that the octalness does not occur is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the intermediateness does not occur.; int4 & sent2 -> hypothesis; __PROVED__