The Candidate Elimination algorithm removes hypotheses from sets S and G that are inconsistent with negative examples. When a negative example is observed, inconsistent hypotheses are removed from S and G. Specializations of inconsistent hypotheses are added to G if they are consistent with the negative example and more specific than another hypothesis in S. Hypotheses in G that are less general than others are also removed.