the phonogramicness and the chancing holothurian occurs.
sent1: the approximation is triggered by that the onrush occurs. sent2: the psychiatricness happens. sent3: the chancing holothurian occurs. sent4: the employment occurs. sent5: the psychiatricness happens and the recovering happens. sent6: that the approximation but not the urinariness happens results in that the chart occurs. sent7: both the monometallicness and the chart occurs if the Alpineness does not occur. sent8: that either the fabricating cheekpiece does not occur or the subtraction does not occur or both is not right if that the tectonicsness happens is not false. sent9: the chancing avulsion occurs. sent10: that the recovering occurs is prevented by that the urinariness happens and/or that the prenuptialness occurs. sent11: if the consumption does not occur then the phonogramicness and the chancing holothurian happens. sent12: if the consumption does not occur then the chancing holothurian happens. sent13: that the prenuptialness does not occur is brought about by that the approximation does not occur. sent14: the moorage does not occur and the tectonicsness occurs. sent15: the fact that the gust occurs but the onrush does not occur does not hold. sent16: the Alpineness happens if that the fabricating cheekpiece does not occur and/or the subtraction does not occur does not hold. sent17: the subtraction happens. sent18: the fact that the moorage does not occur is true. sent19: if the prenuptialness happens the recovering does not occur. sent20: the approximation occurs if that the fact that the gust happens and the onrush does not occur is not incorrect does not hold. sent21: that the chart occurs and the Alpineness happens prevents that the consumption occurs. sent22: that the prenuptialness does not occur is caused by the recovering. sent23: if the tectonicsness happens then the subtraction occurs. sent24: that the gust and the onrush happens is false.
void -> assump1: Let's assume that the urinariness occurs.; assump1 -> int1: either the urinariness occurs or the prenuptialness happens or both.; int1 & sent10 -> int2: the recovering does not occur.; sent5 -> int3: the recovering happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the urinariness does not occur.; sent20 & sent15 -> int6: that the approximation occurs is true.; int5 & int6 -> int7: the approximation and the non-urinaryness occurs.; int7 & sent6 -> int8: that the chart happens is not wrong.; sent14 -> int9: the tectonicsness happens.; sent8 & int9 -> int10: the fact that the fabricating cheekpiece does not occur and/or the subtraction does not occur is incorrect.; sent16 & int10 -> int11: the Alpineness occurs.; int8 & int11 -> int12: both the chart and the Alpineness happens.; int12 & sent21 -> int13: the consumption does not occur.; int13 & sent11 -> hypothesis;
that the phonogramicness and the chancing holothurian occurs does not hold.
 -> hypothesis;
$hypothesis$ = the phonogramicness and the chancing holothurian occurs. ; $context$ = sent1: the approximation is triggered by that the onrush occurs. sent2: the psychiatricness happens. sent3: the chancing holothurian occurs. sent4: the employment occurs. sent5: the psychiatricness happens and the recovering happens. sent6: that the approximation but not the urinariness happens results in that the chart occurs. sent7: both the monometallicness and the chart occurs if the Alpineness does not occur. sent8: that either the fabricating cheekpiece does not occur or the subtraction does not occur or both is not right if that the tectonicsness happens is not false. sent9: the chancing avulsion occurs. sent10: that the recovering occurs is prevented by that the urinariness happens and/or that the prenuptialness occurs. sent11: if the consumption does not occur then the phonogramicness and the chancing holothurian happens. sent12: if the consumption does not occur then the chancing holothurian happens. sent13: that the prenuptialness does not occur is brought about by that the approximation does not occur. sent14: the moorage does not occur and the tectonicsness occurs. sent15: the fact that the gust occurs but the onrush does not occur does not hold. sent16: the Alpineness happens if that the fabricating cheekpiece does not occur and/or the subtraction does not occur does not hold. sent17: the subtraction happens. sent18: the fact that the moorage does not occur is true. sent19: if the prenuptialness happens the recovering does not occur. sent20: the approximation occurs if that the fact that the gust happens and the onrush does not occur is not incorrect does not hold. sent21: that the chart occurs and the Alpineness happens prevents that the consumption occurs. sent22: that the prenuptialness does not occur is caused by the recovering. sent23: if the tectonicsness happens then the subtraction occurs. sent24: that the gust and the onrush happens is false. ; $proof$ = 
void -> assump1: Let's assume that the urinariness occurs.; assump1 -> int1: either the urinariness occurs or the prenuptialness happens or both.; int1 & sent10 -> int2: the recovering does not occur.; sent5 -> int3: the recovering happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the urinariness does not occur.; sent20 & sent15 -> int6: that the approximation occurs is true.; int5 & int6 -> int7: the approximation and the non-urinaryness occurs.; int7 & sent6 -> int8: that the chart happens is not wrong.; sent14 -> int9: the tectonicsness happens.; sent8 & int9 -> int10: the fact that the fabricating cheekpiece does not occur and/or the subtraction does not occur is incorrect.; sent16 & int10 -> int11: the Alpineness occurs.; int8 & int11 -> int12: both the chart and the Alpineness happens.; int12 & sent21 -> int13: the consumption does not occur.; int13 & sent11 -> hypothesis; __PROVED__