the costing does not occur.
sent1: the Handelianness occurs if the runup does not occur but the brightening happens. sent2: that both the cobbling and the sunbeam occurs yields that the costing does not occur. sent3: if the Handelianness happens the cobbling happens. sent4: that the stand happens but the Handelianness does not occur results in the costing. sent5: if the descrying Chaetodontidae does not occur the overstraining and the concretizing impiety occurs. sent6: the staling occurs. sent7: that the naiveness occurs triggers the transoceanicness. sent8: that the stand does not occur is correct if the brightening does not occur. sent9: if the overstraining occurs the concretizing program occurs. sent10: if the fact that not the runup but the brightening happens is wrong then the standing does not occur. sent11: both the stand and the concretizing program happens. sent12: both the reckoning combativeness and the reckoning tenured happens. sent13: that the descrying Chaetodontidae happens is prevented by that the subordinateness does not occur. sent14: the overstraining happens and the sunbeam occurs. sent15: the concretizing program happens. sent16: that the revocableness and the caulescentness occurs yields the conclusiveness. sent17: the accepting and the retinalness occurs. sent18: if the thyroidectomy does not occur the fact that the ball-buster does not occur is not incorrect.
void -> assump1: Let's assume that that not the runup but the brightening occurs does not hold.; sent10 & assump1 -> int1: the stand does not occur.; sent11 -> int2: the stand occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the runup does not occur but the brightening occurs.; int4 & sent1 -> int5: the Handelianness happens.; int5 & sent3 -> int6: the cobbling occurs.; sent14 -> int7: the sunbeam happens.; int6 & int7 -> int8: both the cobble and the sunbeam happens.; int8 & sent2 -> hypothesis;
the costing occurs.
$hypothesis$ = the costing does not occur. ; $context$ = sent1: the Handelianness occurs if the runup does not occur but the brightening happens. sent2: that both the cobbling and the sunbeam occurs yields that the costing does not occur. sent3: if the Handelianness happens the cobbling happens. sent4: that the stand happens but the Handelianness does not occur results in the costing. sent5: if the descrying Chaetodontidae does not occur the overstraining and the concretizing impiety occurs. sent6: the staling occurs. sent7: that the naiveness occurs triggers the transoceanicness. sent8: that the stand does not occur is correct if the brightening does not occur. sent9: if the overstraining occurs the concretizing program occurs. sent10: if the fact that not the runup but the brightening happens is wrong then the standing does not occur. sent11: both the stand and the concretizing program happens. sent12: both the reckoning combativeness and the reckoning tenured happens. sent13: that the descrying Chaetodontidae happens is prevented by that the subordinateness does not occur. sent14: the overstraining happens and the sunbeam occurs. sent15: the concretizing program happens. sent16: that the revocableness and the caulescentness occurs yields the conclusiveness. sent17: the accepting and the retinalness occurs. sent18: if the thyroidectomy does not occur the fact that the ball-buster does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that not the runup but the brightening occurs does not hold.; sent10 & assump1 -> int1: the stand does not occur.; sent11 -> int2: the stand occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the runup does not occur but the brightening occurs.; int4 & sent1 -> int5: the Handelianness happens.; int5 & sent3 -> int6: the cobbling occurs.; sent14 -> int7: the sunbeam happens.; int6 & int7 -> int8: both the cobble and the sunbeam happens.; int8 & sent2 -> hypothesis; __PROVED__