the dorsiflexion occurs.
sent1: the non-nonwashableness is triggered by that the monotonicness does not occur. sent2: the rationalizing infantilism happens. sent3: the fact that the untheatricalness happens and the neglecting altocumulus occurs is wrong. sent4: that the liming Plovdiv happens and the frontness happens is not correct. sent5: the fact that the invoking happens and the mire happens is wrong. sent6: if the gagging occurs then the untheatricalness happens and the neglecting altocumulus does not occur. sent7: if the rationalizing infantilism occurs the fact that the untheatricalness occurs and the neglecting altocumulus does not occur does not hold. sent8: the fact that the neglecting glomerule and the augiticness happens does not hold if the laryngospasm does not occur. sent9: if the neglecting glomerule does not occur that not the neglecting Mercator but the rationalizing infantilism occurs is false. sent10: the rationalizing infantilism does not occur if that the neglecting Mercator does not occur but the rationalizing infantilism occurs does not hold. sent11: that the play occurs yields that the injustice does not occur. sent12: that the rationalizing infantilism does not occur leads to that both the dorsiflexion and the gag occurs. sent13: if the gag does not occur and the dorsiflexion happens the neglecting telpher happens. sent14: the neglecting glomerule does not occur if the fact that both the neglecting glomerule and the augiticness occurs does not hold. sent15: if the augiticness does not occur then the fact that either the neglecting glomerule does not occur or the neglecting Mercator does not occur or both is not false. sent16: that the gag does not occur prevents that the dorsiflexion occurs.
void -> assump1: Let's assume that the gagging happens.; sent6 & assump1 -> int1: the untheatricalness but not the neglecting altocumulus happens.; sent7 & sent2 -> int2: that the fact that the untheatricalness but not the neglecting altocumulus happens is not correct is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gagging does not occur.; int4 & sent16 -> hypothesis;
the neglecting telpher happens.
$hypothesis$ = the dorsiflexion occurs. ; $context$ = sent1: the non-nonwashableness is triggered by that the monotonicness does not occur. sent2: the rationalizing infantilism happens. sent3: the fact that the untheatricalness happens and the neglecting altocumulus occurs is wrong. sent4: that the liming Plovdiv happens and the frontness happens is not correct. sent5: the fact that the invoking happens and the mire happens is wrong. sent6: if the gagging occurs then the untheatricalness happens and the neglecting altocumulus does not occur. sent7: if the rationalizing infantilism occurs the fact that the untheatricalness occurs and the neglecting altocumulus does not occur does not hold. sent8: the fact that the neglecting glomerule and the augiticness happens does not hold if the laryngospasm does not occur. sent9: if the neglecting glomerule does not occur that not the neglecting Mercator but the rationalizing infantilism occurs is false. sent10: the rationalizing infantilism does not occur if that the neglecting Mercator does not occur but the rationalizing infantilism occurs does not hold. sent11: that the play occurs yields that the injustice does not occur. sent12: that the rationalizing infantilism does not occur leads to that both the dorsiflexion and the gag occurs. sent13: if the gag does not occur and the dorsiflexion happens the neglecting telpher happens. sent14: the neglecting glomerule does not occur if the fact that both the neglecting glomerule and the augiticness occurs does not hold. sent15: if the augiticness does not occur then the fact that either the neglecting glomerule does not occur or the neglecting Mercator does not occur or both is not false. sent16: that the gag does not occur prevents that the dorsiflexion occurs. ; $proof$ = 
void -> assump1: Let's assume that the gagging happens.; sent6 & assump1 -> int1: the untheatricalness but not the neglecting altocumulus happens.; sent7 & sent2 -> int2: that the fact that the untheatricalness but not the neglecting altocumulus happens is not correct is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gagging does not occur.; int4 & sent16 -> hypothesis; __DISPROVED__