static PatternMaker1 test_PatternMaker1() {

  PatternMaker1 pm = test_PatternMaker1_1();

  pm.counterexamplesText += "\n" + "Ist das Licht im Flur an?";

  pm.makeStrategy = () -> PatternMaker1_Strategy2(pm);

  pm.think();

  assertNempty(print("Solution", pm.simplestFullSolution));

  mmo2_simplePatternCheck(pm.examplesText, pm.counterexamplesText, pm.simplestFullSolution);

  ret pm;

}

// This one is solved

static PatternMaker1 test_PatternMaker1_1() {

  S examples = [[

    Mache das licht im wohnzimmer nicht an

    Mache das Licht an

    Mache das Licht im Wohnzimmer aus

    Mache

    An

    Aus

    Mache das licht an

    Mache das Licht im flur aus

    Flur aus

    Mache an

    Mache das Licht im flur an

    Licht an

    Mache das licht aus

    licht im flur an

    Mache das licht im flur an und das licht im wohnzimmer aus

    Wohnzimmer an

  ]];

  S counterexamples = [[

    Licht

    nicht

    Im Wohnzimmer

    Licht im Flur

    Im Flur

    Wohnzimmer

    Flur

  ]];

  PatternMaker1 pm = new(examples, counterexamples);

  pm.think();

  assertEqualsIC(tok_sortCommaListCI("Mache, an, aus"), tok_sortCommaListCI(pm.simplestFullSolution));

  mmo2_simplePatternCheck(examples, counterexamples, pm.simplestFullSolution);

  ret pm;

}