the fact that there is something such that if it is not a kind of a restrictiveness and it is not epicarpal then it obeys does not hold.
sent1: if the plastination is a restrictiveness but it is not epicarpal then that it does obey hold. sent2: there is something such that if it is a restrictiveness and it is non-epicarpal it does obey. sent3: if something that is not epicarpal is not a rectocele it is an acoustic. sent4: the plastination does obey if it is not a restrictiveness and not epicarpal.
sent4 -> hypothesis;
the fact that the rifampin is an acoustic hold if it is non-epicarpal and is not a rectocele.
sent3 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of a restrictiveness and it is not epicarpal then it obeys does not hold. ; $context$ = sent1: if the plastination is a restrictiveness but it is not epicarpal then that it does obey hold. sent2: there is something such that if it is a restrictiveness and it is non-epicarpal it does obey. sent3: if something that is not epicarpal is not a rectocele it is an acoustic. sent4: the plastination does obey if it is not a restrictiveness and not epicarpal. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__