the braggadocio occurs.
sent1: if the hopefulness does not occur then the Light occurs. sent2: the referral happens. sent3: the staining does not occur. sent4: the twining two-hitter happens. sent5: the fact that the chopping and the non-branchialness happens is not right if the fact that the bypassing flounder does not occur hold. sent6: that both the chopping and the branchialness happens does not hold if the bypassing flounder does not occur. sent7: if the winning does not occur then the recounting occurs. sent8: the palpebrateness does not occur but the smoldering occurs. sent9: the bypassing agglutination does not occur. sent10: the Light happens. sent11: the winning happens or the bypassing Teasdale does not occur or both if the hopefulness occurs. sent12: that the chop and the branchialness occurs is not right. sent13: the fact that the bypassing flounder does not occur is true. sent14: that the braggadocio happens is prevented by that the referral and the recount happens. sent15: the hopefulness does not occur if the bypassing Teasdale happens. sent16: either that the bypassing Teasdale occurs or that the winning occurs or both causes that the hopefulness does not occur. sent17: that the branchialness happens yields the killing. sent18: if the hopefulness does not occur the killing does not occur and the Light happens. sent19: if the fact that the chopping but not the branchialness occurs is incorrect then the killing occurs.
void -> assump1: Let's assume that the winning happens.; assump1 -> int1: either the bypassing Teasdale happens or the winning happens or both.; int1 & sent16 -> int2: the hopefulness does not occur.; int2 & sent18 -> int3: not the killing but the Light occurs.; int3 -> int4: the killing does not occur.; sent5 & sent13 -> int5: the fact that the chop and the non-branchialness occurs does not hold.; sent19 & int5 -> int6: the killing happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the winning does not occur.; int8 & sent7 -> int9: the recount occurs.; int9 & sent2 -> int10: the referral occurs and the recounting happens.; int10 & sent14 -> hypothesis;
the braggadocio occurs.
$hypothesis$ = the braggadocio occurs. ; $context$ = sent1: if the hopefulness does not occur then the Light occurs. sent2: the referral happens. sent3: the staining does not occur. sent4: the twining two-hitter happens. sent5: the fact that the chopping and the non-branchialness happens is not right if the fact that the bypassing flounder does not occur hold. sent6: that both the chopping and the branchialness happens does not hold if the bypassing flounder does not occur. sent7: if the winning does not occur then the recounting occurs. sent8: the palpebrateness does not occur but the smoldering occurs. sent9: the bypassing agglutination does not occur. sent10: the Light happens. sent11: the winning happens or the bypassing Teasdale does not occur or both if the hopefulness occurs. sent12: that the chop and the branchialness occurs is not right. sent13: the fact that the bypassing flounder does not occur is true. sent14: that the braggadocio happens is prevented by that the referral and the recount happens. sent15: the hopefulness does not occur if the bypassing Teasdale happens. sent16: either that the bypassing Teasdale occurs or that the winning occurs or both causes that the hopefulness does not occur. sent17: that the branchialness happens yields the killing. sent18: if the hopefulness does not occur the killing does not occur and the Light happens. sent19: if the fact that the chopping but not the branchialness occurs is incorrect then the killing occurs. ; $proof$ = 
void -> assump1: Let's assume that the winning happens.; assump1 -> int1: either the bypassing Teasdale happens or the winning happens or both.; int1 & sent16 -> int2: the hopefulness does not occur.; int2 & sent18 -> int3: not the killing but the Light occurs.; int3 -> int4: the killing does not occur.; sent5 & sent13 -> int5: the fact that the chop and the non-branchialness occurs does not hold.; sent19 & int5 -> int6: the killing happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the winning does not occur.; int8 & sent7 -> int9: the recount occurs.; int9 & sent2 -> int10: the referral occurs and the recounting happens.; int10 & sent14 -> hypothesis; __DISPROVED__