the tolerantness does not occur.
sent1: the consternating Eleusine does not occur if that the disentangling seasnail does not occur and the faint does not occur is false. sent2: the fornicating yields that the therapy but not the disentangling hyperbole occurs. sent3: the fornicating happens. sent4: if the consternating Eleusine does not occur but the therapy occurs the uncharacteristicness happens. sent5: if the convecting and/or the finger-roll occurs then the uncharacteristicness does not occur. sent6: that the invasion occurs and the dolomiticness does not occur is incorrect if the tolerantness happens. sent7: that the disentangling seasnail does not occur and the fainting does not occur is incorrect. sent8: the convecting occurs if the fact that both the invasion and the non-dolomiticness occurs is wrong.
void -> assump1: Let's assume that the tolerantness happens.; sent6 & assump1 -> int1: the fact that the invasion and the non-dolomiticness occurs is not true.; int1 & sent8 -> int2: that the convecting occurs is not incorrect.; int2 -> int3: the convecting or the finger-roll or both happens.; int3 & sent5 -> int4: that the uncharacteristicness does not occur is true.; sent1 & sent7 -> int5: the consternating Eleusine does not occur.; sent2 & sent3 -> int6: the therapy occurs but the disentangling hyperbole does not occur.; int6 -> int7: the therapy happens.; int5 & int7 -> int8: the consternating Eleusine does not occur but the therapy happens.; sent4 & int8 -> int9: the uncharacteristicness occurs.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the tolerantness does not occur. ; $context$ = sent1: the consternating Eleusine does not occur if that the disentangling seasnail does not occur and the faint does not occur is false. sent2: the fornicating yields that the therapy but not the disentangling hyperbole occurs. sent3: the fornicating happens. sent4: if the consternating Eleusine does not occur but the therapy occurs the uncharacteristicness happens. sent5: if the convecting and/or the finger-roll occurs then the uncharacteristicness does not occur. sent6: that the invasion occurs and the dolomiticness does not occur is incorrect if the tolerantness happens. sent7: that the disentangling seasnail does not occur and the fainting does not occur is incorrect. sent8: the convecting occurs if the fact that both the invasion and the non-dolomiticness occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the tolerantness happens.; sent6 & assump1 -> int1: the fact that the invasion and the non-dolomiticness occurs is not true.; int1 & sent8 -> int2: that the convecting occurs is not incorrect.; int2 -> int3: the convecting or the finger-roll or both happens.; int3 & sent5 -> int4: that the uncharacteristicness does not occur is true.; sent1 & sent7 -> int5: the consternating Eleusine does not occur.; sent2 & sent3 -> int6: the therapy occurs but the disentangling hyperbole does not occur.; int6 -> int7: the therapy happens.; int5 & int7 -> int8: the consternating Eleusine does not occur but the therapy happens.; sent4 & int8 -> int9: the uncharacteristicness occurs.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__