both the south and the chaoticness happens.
sent1: that the trundling disclaimer occurs and the protesting Ilex does not occur yields the south. sent2: the prelacy does not occur if the protesting stayer happens. sent3: the trundling disclaimer happens if the tattoo does not occur. sent4: the mobilization occurs. sent5: the hackwork does not occur if that not the bifurcation but the tattooing happens is not right. sent6: if the tattoo does not occur the trundling disclaimer but not the protesting Ilex occurs. sent7: the chauvinisticness does not occur. sent8: that the prolateness does not occur is triggered by that the degeneration happens and/or the filarness occurs. sent9: the chaoticness happens. sent10: the rerunning ferromagnetism occurs. sent11: the hackwork or the tattooing or both results in that the bifurcation does not occur. sent12: the bifurcation happens. sent13: the Mauritanian does not occur. sent14: the friendliness does not occur.
void -> assump1: Let's assume that the tattooing occurs.; assump1 -> int1: the hackwork happens and/or the tattoo occurs.; int1 & sent11 -> int2: the bifurcation does not occur.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tattooing does not occur.; int4 & sent6 -> int5: the trundling disclaimer occurs and the protesting Ilex does not occur.; int5 & sent1 -> int6: the south occurs.; int6 & sent9 -> hypothesis;
that both the south and the chaoticness happens is not right.
$hypothesis$ = both the south and the chaoticness happens. ; $context$ = sent1: that the trundling disclaimer occurs and the protesting Ilex does not occur yields the south. sent2: the prelacy does not occur if the protesting stayer happens. sent3: the trundling disclaimer happens if the tattoo does not occur. sent4: the mobilization occurs. sent5: the hackwork does not occur if that not the bifurcation but the tattooing happens is not right. sent6: if the tattoo does not occur the trundling disclaimer but not the protesting Ilex occurs. sent7: the chauvinisticness does not occur. sent8: that the prolateness does not occur is triggered by that the degeneration happens and/or the filarness occurs. sent9: the chaoticness happens. sent10: the rerunning ferromagnetism occurs. sent11: the hackwork or the tattooing or both results in that the bifurcation does not occur. sent12: the bifurcation happens. sent13: the Mauritanian does not occur. sent14: the friendliness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tattooing occurs.; assump1 -> int1: the hackwork happens and/or the tattoo occurs.; int1 & sent11 -> int2: the bifurcation does not occur.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tattooing does not occur.; int4 & sent6 -> int5: the trundling disclaimer occurs and the protesting Ilex does not occur.; int5 & sent1 -> int6: the south occurs.; int6 & sent9 -> hypothesis; __PROVED__