that the liposuction does not occur hold.
sent1: the trooping scad happens. sent2: the putter happens. sent3: the non-marineness is prevented by that the bisexualness happens. sent4: the effortfulness occurs. sent5: the indivisibleness and the rediscovery occurs. sent6: the rediscovery occurs. sent7: if the rediscovery does not occur the mistaking result and the indivisibleness occurs. sent8: that the tormenting professor happens is correct. sent9: that the liposuction happens is triggered by the indivisibleness.
sent5 -> int1: the indivisibleness happens.; sent9 & int1 -> hypothesis;
the chordalness occurs and the mistaking result occurs.
$hypothesis$ = that the liposuction does not occur hold. ; $context$ = sent1: the trooping scad happens. sent2: the putter happens. sent3: the non-marineness is prevented by that the bisexualness happens. sent4: the effortfulness occurs. sent5: the indivisibleness and the rediscovery occurs. sent6: the rediscovery occurs. sent7: if the rediscovery does not occur the mistaking result and the indivisibleness occurs. sent8: that the tormenting professor happens is correct. sent9: that the liposuction happens is triggered by the indivisibleness. ; $proof$ = 
sent5 -> int1: the indivisibleness happens.; sent9 & int1 -> hypothesis; __DISPROVED__