the fact that that the aviation occurs leads to that the bender does not occur is not true.
sent1: that the ineradicableness happens hold if the tack does not occur. sent2: that both the aviation and the oversight happens prevents the epidemicness. sent3: the ensconcing happens if the trekking happens. sent4: the trundling widowed and the release happens. sent5: if the aviation does not occur then the bender occurs and the oversight does not occur. sent6: if the ensconcing happens the seaquake does not occur. sent7: that the tacking does not occur causes that the epidemicness occurs and the ineradicableness occurs. sent8: not the protesting chipmunk but the regimentalsness occurs. sent9: that the protesting chipmunk does not occur but the regimentalsness happens prevents that the tacking happens. sent10: the oversight happens if the bender occurs. sent11: the regimentalsness occurs. sent12: if the bender occurs and the oversight does not occur then the amalgamation does not occur.
void -> assump2: Let's assume that the bender occurs.; sent10 & assump2 -> int1: the oversight occurs.; void -> assump1: Let's assume that the aviation occurs.; int1 & assump1 -> int2: both the aviation and the oversight happens.; int2 & sent2 -> int3: the epidemicness does not occur.; sent9 & sent8 -> int4: the tacking does not occur.; sent7 & int4 -> int5: the epidemic occurs and the ineradicableness occurs.; int5 -> int6: the epidemic happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the bender does not occur.; [assump1] & int8 -> hypothesis;
that the amalgamation does not occur is not wrong.
$hypothesis$ = the fact that that the aviation occurs leads to that the bender does not occur is not true. ; $context$ = sent1: that the ineradicableness happens hold if the tack does not occur. sent2: that both the aviation and the oversight happens prevents the epidemicness. sent3: the ensconcing happens if the trekking happens. sent4: the trundling widowed and the release happens. sent5: if the aviation does not occur then the bender occurs and the oversight does not occur. sent6: if the ensconcing happens the seaquake does not occur. sent7: that the tacking does not occur causes that the epidemicness occurs and the ineradicableness occurs. sent8: not the protesting chipmunk but the regimentalsness occurs. sent9: that the protesting chipmunk does not occur but the regimentalsness happens prevents that the tacking happens. sent10: the oversight happens if the bender occurs. sent11: the regimentalsness occurs. sent12: if the bender occurs and the oversight does not occur then the amalgamation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the bender occurs.; sent10 & assump2 -> int1: the oversight occurs.; void -> assump1: Let's assume that the aviation occurs.; int1 & assump1 -> int2: both the aviation and the oversight happens.; int2 & sent2 -> int3: the epidemicness does not occur.; sent9 & sent8 -> int4: the tacking does not occur.; sent7 & int4 -> int5: the epidemic occurs and the ineradicableness occurs.; int5 -> int6: the epidemic happens.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the bender does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__