the exulting tungsten occurs.
sent1: that both the specializing and the hardening happens is incorrect if the trapezoidalness does not occur. sent2: that the concourse does not occur is prevented by the plonk. sent3: that both the non-Scandinavianness and the corporateness occurs results in that the dichromaticness does not occur. sent4: the volatilizing is caused by the statuary. sent5: the revealing occurs if the clapping glomerule does not occur but the suttee happens. sent6: the exulting tungsten does not occur if the fact that not the clapping glomerule but the suttee happens is wrong. sent7: the plonk does not occur and the hydrodynamicness does not occur if the dangerousness does not occur. sent8: the Sabineness happens. sent9: the plonk happens and the hydrodynamicness happens. sent10: the fact that the clapping glomerule and the suttee happens is incorrect. sent11: the osculation does not occur and the clapping re-establishment occurs. sent12: the archosaurianness and the marble happens. sent13: that the clapping re-establishment occurs hold. sent14: if the overreaching does not occur and/or the incarnation happens then the overreaching does not occur. sent15: if the fact that the volatilizing occurs hold the overreaching does not occur and/or the incarnation happens. sent16: the fact that if the fact that both the specializing and the hardening happens is not correct then the dangerousness does not occur is right. sent17: the statuariness happens if the marble occurs. sent18: if the overreaching does not occur and the dichromaticness does not occur the trapezoidalness does not occur. sent19: that either the revealing or the jitters or both happens causes that the concourse does not occur.
void -> assump1: Let's assume that the fact that the clapping glomerule does not occur and the suttee happens is not wrong.; sent5 & assump1 -> int1: the fact that the revealing happens is true.; int1 -> int2: either the revealing happens or the jitters occurs or both.; int2 & sent19 -> int3: the concourse does not occur.; sent9 -> int4: the plonk happens.; sent2 & int4 -> int5: the concourse occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the clapping glomerule does not occur and the suttee happens is wrong.; int7 & sent6 -> hypothesis;
the exulting tungsten happens.
sent12 -> int8: the marbling happens.; sent17 & int8 -> int9: the statuary happens.; sent4 & int9 -> int10: the volatilizing occurs.; sent15 & int10 -> int11: the overreaching does not occur or the incarnation occurs or both.; sent14 & int11 -> int12: the overreaching does not occur.;
$hypothesis$ = the exulting tungsten occurs. ; $context$ = sent1: that both the specializing and the hardening happens is incorrect if the trapezoidalness does not occur. sent2: that the concourse does not occur is prevented by the plonk. sent3: that both the non-Scandinavianness and the corporateness occurs results in that the dichromaticness does not occur. sent4: the volatilizing is caused by the statuary. sent5: the revealing occurs if the clapping glomerule does not occur but the suttee happens. sent6: the exulting tungsten does not occur if the fact that not the clapping glomerule but the suttee happens is wrong. sent7: the plonk does not occur and the hydrodynamicness does not occur if the dangerousness does not occur. sent8: the Sabineness happens. sent9: the plonk happens and the hydrodynamicness happens. sent10: the fact that the clapping glomerule and the suttee happens is incorrect. sent11: the osculation does not occur and the clapping re-establishment occurs. sent12: the archosaurianness and the marble happens. sent13: that the clapping re-establishment occurs hold. sent14: if the overreaching does not occur and/or the incarnation happens then the overreaching does not occur. sent15: if the fact that the volatilizing occurs hold the overreaching does not occur and/or the incarnation happens. sent16: the fact that if the fact that both the specializing and the hardening happens is not correct then the dangerousness does not occur is right. sent17: the statuariness happens if the marble occurs. sent18: if the overreaching does not occur and the dichromaticness does not occur the trapezoidalness does not occur. sent19: that either the revealing or the jitters or both happens causes that the concourse does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the clapping glomerule does not occur and the suttee happens is not wrong.; sent5 & assump1 -> int1: the fact that the revealing happens is true.; int1 -> int2: either the revealing happens or the jitters occurs or both.; int2 & sent19 -> int3: the concourse does not occur.; sent9 -> int4: the plonk happens.; sent2 & int4 -> int5: the concourse occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the clapping glomerule does not occur and the suttee happens is wrong.; int7 & sent6 -> hypothesis; __DISPROVED__