that the candlelight occurs hold.
sent1: the refinement occurs. sent2: the segregating web happens if the segregating Gilgamesh occurs. sent3: if the neologism happens or the consumption occurs or both then the segregating cowgirl does not occur. sent4: if the fact that not the financing but the archaisticness happens is not right then the neologism happens. sent5: the segregating cowgirl does not occur if the consumption occurs. sent6: the guesstimate happens. sent7: the insatiateness occurs if the believing happens. sent8: the fact that the altering happens is not incorrect if the smoothening occurs. sent9: the flocking gorgonzola and the segregating cowgirl happens if that the equilibrating does not occur is not false. sent10: that the flocking gorgonzola occurs and the segregating cowgirl occurs prevents that the neologism occurs. sent11: the segregating cowgirl happens. sent12: the fact that the finance and the archaisticness happens is wrong. sent13: if the finance occurs then the neologism happens. sent14: if that the tribalization does not occur and the segregating Allen does not occur is false the equilibrating does not occur. sent15: that the segregating orchil and/or the Lutheran occurs prevents the equilibrating. sent16: if the archaisticness occurs the candlelight occurs. sent17: if that not the flocking alarm but the addition happens is incorrect then the flocking gorgonzola happens. sent18: the fact that the carjacking Cather does not occur and the forgiveness occurs is not right. sent19: the finance does not occur.
void -> assump1: Let's assume that the fact that not the financing but the archaisticness occurs is not right.; sent4 & assump1 -> int1: the neologism happens.; int1 -> int2: either the neologism happens or the consumption occurs or both.; int2 & sent3 -> int3: the segregating cowgirl does not occur.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: not the financing but the archaisticness happens.; int5 -> int6: the archaisticness occurs.; int6 & sent16 -> hypothesis;
the candlelight does not occur.
$hypothesis$ = that the candlelight occurs hold. ; $context$ = sent1: the refinement occurs. sent2: the segregating web happens if the segregating Gilgamesh occurs. sent3: if the neologism happens or the consumption occurs or both then the segregating cowgirl does not occur. sent4: if the fact that not the financing but the archaisticness happens is not right then the neologism happens. sent5: the segregating cowgirl does not occur if the consumption occurs. sent6: the guesstimate happens. sent7: the insatiateness occurs if the believing happens. sent8: the fact that the altering happens is not incorrect if the smoothening occurs. sent9: the flocking gorgonzola and the segregating cowgirl happens if that the equilibrating does not occur is not false. sent10: that the flocking gorgonzola occurs and the segregating cowgirl occurs prevents that the neologism occurs. sent11: the segregating cowgirl happens. sent12: the fact that the finance and the archaisticness happens is wrong. sent13: if the finance occurs then the neologism happens. sent14: if that the tribalization does not occur and the segregating Allen does not occur is false the equilibrating does not occur. sent15: that the segregating orchil and/or the Lutheran occurs prevents the equilibrating. sent16: if the archaisticness occurs the candlelight occurs. sent17: if that not the flocking alarm but the addition happens is incorrect then the flocking gorgonzola happens. sent18: the fact that the carjacking Cather does not occur and the forgiveness occurs is not right. sent19: the finance does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the financing but the archaisticness occurs is not right.; sent4 & assump1 -> int1: the neologism happens.; int1 -> int2: either the neologism happens or the consumption occurs or both.; int2 & sent3 -> int3: the segregating cowgirl does not occur.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: not the financing but the archaisticness happens.; int5 -> int6: the archaisticness occurs.; int6 & sent16 -> hypothesis; __PROVED__