that not the anuranness but the whoring happens does not hold.
sent1: if the fact that the rioting does not occur and the predating happens does not hold then the iterating happens. sent2: if the iterating occurs that the non-anuranness and the whoring happens is not correct. sent3: the meridian does not occur and the emblazoning stacte does not occur if the settling burlap does not occur. sent4: that that the riot does not occur and the predating happens does not hold if the attempt does not occur hold. sent5: that the settling burlap does not occur if the attempt occurs is not false. sent6: that the hooflikeness occurs and the settling generalship happens is wrong. sent7: if the settling generalship does not occur then the fact that the meridianness does not occur and the emblazoning stacte does not occur is not true. sent8: the settling generalship does not occur if the fact that the hooflikeness happens and the settling generalship occurs does not hold.
void -> assump1: Let's assume that the attempt occurs.; sent5 & assump1 -> int1: the settling burlap does not occur.; int1 & sent3 -> int2: that the meridianness does not occur and the emblazoning stacte does not occur is not false.; sent8 & sent6 -> int3: that the settling generalship does not occur is correct.; sent7 & int3 -> int4: that the meridianness does not occur and the emblazoning stacte does not occur is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the attempt does not occur.; int6 & sent4 -> int7: that the riot does not occur and the predating happens is not right.; int7 & sent1 -> int8: the iterating occurs.; int8 & sent2 -> hypothesis;
$hypothesis$ = that not the anuranness but the whoring happens does not hold. ; $context$ = sent1: if the fact that the rioting does not occur and the predating happens does not hold then the iterating happens. sent2: if the iterating occurs that the non-anuranness and the whoring happens is not correct. sent3: the meridian does not occur and the emblazoning stacte does not occur if the settling burlap does not occur. sent4: that that the riot does not occur and the predating happens does not hold if the attempt does not occur hold. sent5: that the settling burlap does not occur if the attempt occurs is not false. sent6: that the hooflikeness occurs and the settling generalship happens is wrong. sent7: if the settling generalship does not occur then the fact that the meridianness does not occur and the emblazoning stacte does not occur is not true. sent8: the settling generalship does not occur if the fact that the hooflikeness happens and the settling generalship occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the attempt occurs.; sent5 & assump1 -> int1: the settling burlap does not occur.; int1 & sent3 -> int2: that the meridianness does not occur and the emblazoning stacte does not occur is not false.; sent8 & sent6 -> int3: that the settling generalship does not occur is correct.; sent7 & int3 -> int4: that the meridianness does not occur and the emblazoning stacte does not occur is not correct.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the attempt does not occur.; int6 & sent4 -> int7: that the riot does not occur and the predating happens is not right.; int7 & sent1 -> int8: the iterating occurs.; int8 & sent2 -> hypothesis; __PROVED__