that the clouting clarence and the starryness happens does not hold.
sent1: if the extinctness does not occur that the Jurassic does not occur but the acousticsness happens does not hold. sent2: the fact that both the rightness and the devotional occurs is not correct. sent3: if the fact that not the career but the eutrophicness happens is incorrect the catastrophe happens. sent4: if the chess does not occur then the fact that the acousticsness occurs but the clanger does not occur does not hold. sent5: that the chess happens is prevented by the catastrophe and/or that the gust happens. sent6: both the scent and the entailing salmonid occurs if the duplicating does not occur. sent7: the Jurassicness does not occur if not the career but the eutrophicness occurs. sent8: that the entailing salmonid occurs leads to that the extinctness does not occur and the counterbombardment does not occur. sent9: that the acousticsness does not occur brings about that the clanger happens and the chess happens. sent10: if that the extinctness and/or the non-starlessness occurs is wrong the clouting clarence occurs. sent11: if the extinctness occurs the acoustics occurs and the clanger does not occur. sent12: if the gust happens then the clouting clarence and the non-starlessness occurs. sent13: if the careering happens the catastrophe occurs. sent14: if that the Jurassicness does not occur is not incorrect then that the clouting clarence and the non-starlessness occurs does not hold. sent15: if the fact that the gust does not occur is true that not the raping but the no-brainer happens is not true. sent16: the extinctness happens. sent17: the catastrophe and/or the chess happens if the clanger does not occur.
void -> assump1: Let's assume that the fact that not the career but the eutrophicness occurs is not correct.; sent3 & assump1 -> int1: the catastrophe occurs.; int1 -> int2: either the catastrophe occurs or the gust occurs or both.; int2 & sent5 -> int3: the chess does not occur.; int3 & sent4 -> int4: that the acousticsness happens but the clanger does not occur does not hold.; sent11 & sent16 -> int5: the acousticsness happens but the clanger does not occur.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: not the careering but the eutrophicness occurs.; int7 & sent7 -> int8: the Jurassicness does not occur.; int8 & sent14 -> hypothesis;
the fact that the rape does not occur but the no-brainer happens does not hold.
$hypothesis$ = that the clouting clarence and the starryness happens does not hold. ; $context$ = sent1: if the extinctness does not occur that the Jurassic does not occur but the acousticsness happens does not hold. sent2: the fact that both the rightness and the devotional occurs is not correct. sent3: if the fact that not the career but the eutrophicness happens is incorrect the catastrophe happens. sent4: if the chess does not occur then the fact that the acousticsness occurs but the clanger does not occur does not hold. sent5: that the chess happens is prevented by the catastrophe and/or that the gust happens. sent6: both the scent and the entailing salmonid occurs if the duplicating does not occur. sent7: the Jurassicness does not occur if not the career but the eutrophicness occurs. sent8: that the entailing salmonid occurs leads to that the extinctness does not occur and the counterbombardment does not occur. sent9: that the acousticsness does not occur brings about that the clanger happens and the chess happens. sent10: if that the extinctness and/or the non-starlessness occurs is wrong the clouting clarence occurs. sent11: if the extinctness occurs the acoustics occurs and the clanger does not occur. sent12: if the gust happens then the clouting clarence and the non-starlessness occurs. sent13: if the careering happens the catastrophe occurs. sent14: if that the Jurassicness does not occur is not incorrect then that the clouting clarence and the non-starlessness occurs does not hold. sent15: if the fact that the gust does not occur is true that not the raping but the no-brainer happens is not true. sent16: the extinctness happens. sent17: the catastrophe and/or the chess happens if the clanger does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the career but the eutrophicness occurs is not correct.; sent3 & assump1 -> int1: the catastrophe occurs.; int1 -> int2: either the catastrophe occurs or the gust occurs or both.; int2 & sent5 -> int3: the chess does not occur.; int3 & sent4 -> int4: that the acousticsness happens but the clanger does not occur does not hold.; sent11 & sent16 -> int5: the acousticsness happens but the clanger does not occur.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: not the careering but the eutrophicness occurs.; int7 & sent7 -> int8: the Jurassicness does not occur.; int8 & sent14 -> hypothesis; __PROVED__