If Every atom in the body of the bottom instance is in the set of recognised details, then The top atom is extra to the list of regarded details. This method is repeated till a hard and fast place is achieved, and no much more points can be deduced. Naïve analysis generates your entire minimal product of the program.[7]The set of facts is known as