the fact that if the mingling shove happens then the pricing flavorer occurs does not hold.
sent1: the pushup occurs. sent2: that the trephination happens prevents that the pricing flavorer does not occur. sent3: the proposal happens. sent4: the pricing equivocation happens. sent5: the wholeness occurs. sent6: the consulship occurs. sent7: the lobectomy happens. sent8: if the fact that the refracting does not occur and the finger-roll does not occur is false that the schooling happens hold. sent9: if that the anastigmaticness does not occur and the mingling expert does not occur is wrong then the trephination happens. sent10: the tarnishing disposition happens. sent11: the pricing barbu occurs. sent12: the fact that the anastigmaticness occurs and the mingling expert does not occur is not correct if the mingling shove occurs. sent13: the fact that the fact that the anastigmaticness does not occur but the mingling expert happens is correct is not right. sent14: that the anastigmaticness does not occur and the mingling expert does not occur is false if the mingling shove occurs. sent15: that the anastigmaticness occurs but the mingling expert does not occur does not hold. sent16: the fact that the fragmenting does not occur and the tarnishing disposition does not occur is not correct if the liveliness happens. sent17: if the mingling shove occurs then that the non-anastigmaticness and the mingling expert occurs is not correct.
void -> assump1: Let's assume that the mingling shove occurs.; sent14 & assump1 -> int1: the fact that the anastigmaticness does not occur and the mingling expert does not occur is wrong.; sent9 & int1 -> int2: the trephination occurs.; sent2 & int2 -> int3: the pricing flavorer happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the mingling shove happens then the pricing flavorer occurs does not hold. ; $context$ = sent1: the pushup occurs. sent2: that the trephination happens prevents that the pricing flavorer does not occur. sent3: the proposal happens. sent4: the pricing equivocation happens. sent5: the wholeness occurs. sent6: the consulship occurs. sent7: the lobectomy happens. sent8: if the fact that the refracting does not occur and the finger-roll does not occur is false that the schooling happens hold. sent9: if that the anastigmaticness does not occur and the mingling expert does not occur is wrong then the trephination happens. sent10: the tarnishing disposition happens. sent11: the pricing barbu occurs. sent12: the fact that the anastigmaticness occurs and the mingling expert does not occur is not correct if the mingling shove occurs. sent13: the fact that the fact that the anastigmaticness does not occur but the mingling expert happens is correct is not right. sent14: that the anastigmaticness does not occur and the mingling expert does not occur is false if the mingling shove occurs. sent15: that the anastigmaticness occurs but the mingling expert does not occur does not hold. sent16: the fact that the fragmenting does not occur and the tarnishing disposition does not occur is not correct if the liveliness happens. sent17: if the mingling shove occurs then that the non-anastigmaticness and the mingling expert occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the mingling shove occurs.; sent14 & assump1 -> int1: the fact that the anastigmaticness does not occur and the mingling expert does not occur is wrong.; sent9 & int1 -> int2: the trephination occurs.; sent2 & int2 -> int3: the pricing flavorer happens.; [assump1] & int3 -> hypothesis; __DISPROVED__