the acrodont is not undue.
sent1: everything is not a ostomy and it is not a colic. sent2: that the swamp is not non-empiric and it does monetize swamp does not hold. sent3: the acrodont is undue if the selsyn is not a ostomy and not a colic. sent4: the selsyn is not a ostomy. sent5: if something that does not monetize swamp is non-physicochemical then it is due.
sent1 -> int1: the fact that the selsyn is not a ostomy and it is not a colic hold.; int1 & sent3 -> hypothesis;
the fact that the acrodont is not undue is not incorrect.
sent5 -> int2: if the acrodont does not monetize swamp and is not physicochemical it is not undue.; sent2 -> int3: there exists something such that the fact that it is empiric and does monetize swamp does not hold.;
$hypothesis$ = the acrodont is not undue. ; $context$ = sent1: everything is not a ostomy and it is not a colic. sent2: that the swamp is not non-empiric and it does monetize swamp does not hold. sent3: the acrodont is undue if the selsyn is not a ostomy and not a colic. sent4: the selsyn is not a ostomy. sent5: if something that does not monetize swamp is non-physicochemical then it is due. ; $proof$ = 
sent1 -> int1: the fact that the selsyn is not a ostomy and it is not a colic hold.; int1 & sent3 -> hypothesis; __DISPROVED__