CPA4: finished 1 rule algorithm.