A decision procedure for positive implication