public static void removeExcludedExamples(Cons rule, List coveredPos, List coveredNeg) {
    { TrainingExample example = null;
      Cons iter000 = coveredNeg.copy().theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        example = ((TrainingExample)(iter000.value));
        if (!Logic.ruleCoversExampleP(rule, example)) {
          coveredNeg = ((List)(coveredNeg.remove(example)));
        }
      }
    }
    { TrainingExample example = null;
      Cons iter001 = coveredPos.copy().theConsList;

      for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
        example = ((TrainingExample)(iter001.value));
        if (!Logic.ruleCoversExampleP(rule, example)) {
          coveredPos = ((List)(coveredPos.remove(example)));
        }
      }
    }
  }