!7

sS statements = [[
  Always fully apply ((Concept X was touched at Y.) and (Concept X was touched at Z.) and (Y > Z) => (Remove (Concept X was touched at Z.)))
]];

sS concepts = [[
  cwvffbyvwmafomuq - Concept X was touched at Y.
  anmgnlmdnkjivliq - Always fully apply (X)
  chjllkocfhtwcgoj - Remove (X)
  eijdjqhyzheusetj - (X) and (Y) and (Z) => (AA)
  wdbphzfoxwlrhdyl - X > Y
]];

p-tt {
  myTruth(concepts, statements);
  lispStandardEvaluators();
  alwaysRules_standardHandlers();
  print(callLispEvaluator(englishToLisp("5 > 3")));
  print(callLispEvaluator(englishToLisp("3 > 5")));
  emit(englishToLisp("Concept cwvffbyvwmafomuq was touched at " + now() + "."));
  //set applyRule_all_debug;
  applyAlwaysRules(100);
  printLispStatements();
}