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;
}