!7

sS facts = [[
  We want to find out what is more correct than what.
  
  "not correct" is a candidate.
  "maybe quite correct" is a candidate.
  "really really correct" is a candidate.
  "buggy" is a candidate.
  "total garbage" is a candidate.
  "incorrect" is a candidate.
  "almost correct" is a candidate.
  "absolutely correct" is a candidate.
  "very correct" is a candidate.
  
  [nfhwfngqkgoqtngs] (X is a candidate.) and (Y is a candidate.) and (X <> Y) and (I don't know if (X is more correct than Y.)) => (Ask (Is X # more correct than Y?))
]];

sS concepts = [[
  phkdhqkhzytkwdpb - (X) and (Y) and (Z) and (AA) => (AB)
  cdzttdbxadjreorm - We want to find out what is X than what.
  ogqdgzepqbunuuht - X is a candidate.
  psrgtxwtfzmfzhsx - Is X Y than Z?
  hszwyiyetuuhcfwz - Is X # Y than Z?
  qgxjwufpfzkqvmxb - X is Y than Z.
  ylvaoplzguvhegka - X is not Y than Z.
  buahjsodljsaxvaq - X <> Y
  fxxathfdlfzgmaov - Ask (X)
  mzdvauejerzefagk - I don't know if (X)
  ltyqczktgtjxrtlf - more correct
  zveeggveflecjwvr - total garbage
  wolealpbqkkqkvqq - not correct
  tomkbzlqlpeiekvu - maybe quite correct
  dnxyynujqydgcxcd - really really correct
  trajdgvqepyhsumb - buggy
  lwikikhkydtewtjc - incorrect
  muxjpepnjiyjghwj - almost correct
  wtnpjovqqiswlyay - absolutely correct
  bmliokweerblfxco - very correct
]];

p-tt {
  centerConsole();
  substance();
  set englishToConceptLanguage_unquote;
  useConceptsAndStatements(concepts, facts);
  printLispStatements();
  
  // process the rule
  Lisp rule = getLispTruth("nfhwfngqkgoqtngs");
  for (Lisp cond : dropLast(rule))
    print("Condition: " + cond);
}