the crest does not occur.
sent1: the seeping occurs. sent2: if the purr does not occur not the agrobiologicness but the radiotelephonicness happens. sent3: if that the cresting occurs but the blanketing deuteron does not occur is not true the telocentricness does not occur. sent4: if that the seeping and the non-agrobiologicness occurs is not correct the seeping does not occur. sent5: the fact that the enormity does not occur is right if that the forcipateness happens and the jamming chemoreceptor happens is not true. sent6: if the tonguing occurs then the hailstorm but not the BAN occurs. sent7: if the blanketing osteotomy happens then the fact that the blanketing asset occurs hold. sent8: that the seeping happens and the jamming apery occurs is triggered by the non-agrobiologicness. sent9: if that the seeping happens is wrong the cresting occurs and the blanketing deuteron happens. sent10: if that the fact that the purr occurs and the enforcement occurs is false is not wrong the purr does not occur. sent11: the blanketing deuteron does not occur and the seeping happens. sent12: that the tonguing happens and the reasonableness occurs is triggered by that the enormity does not occur. sent13: if the cresting occurs the blanketing deuteron happens. sent14: if the BAN does not occur the fact that both the purring and the enforcement occurs is wrong.
void -> assump1: Let's assume that the crest happens.; sent13 & assump1 -> int1: the blanketing deuteron occurs.; sent11 -> int2: the blanketing deuteron does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the telocentricness does not occur.
$hypothesis$ = the crest does not occur. ; $context$ = sent1: the seeping occurs. sent2: if the purr does not occur not the agrobiologicness but the radiotelephonicness happens. sent3: if that the cresting occurs but the blanketing deuteron does not occur is not true the telocentricness does not occur. sent4: if that the seeping and the non-agrobiologicness occurs is not correct the seeping does not occur. sent5: the fact that the enormity does not occur is right if that the forcipateness happens and the jamming chemoreceptor happens is not true. sent6: if the tonguing occurs then the hailstorm but not the BAN occurs. sent7: if the blanketing osteotomy happens then the fact that the blanketing asset occurs hold. sent8: that the seeping happens and the jamming apery occurs is triggered by the non-agrobiologicness. sent9: if that the seeping happens is wrong the cresting occurs and the blanketing deuteron happens. sent10: if that the fact that the purr occurs and the enforcement occurs is false is not wrong the purr does not occur. sent11: the blanketing deuteron does not occur and the seeping happens. sent12: that the tonguing happens and the reasonableness occurs is triggered by that the enormity does not occur. sent13: if the cresting occurs the blanketing deuteron happens. sent14: if the BAN does not occur the fact that both the purring and the enforcement occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the crest happens.; sent13 & assump1 -> int1: the blanketing deuteron occurs.; sent11 -> int2: the blanketing deuteron does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__