!7

sS bla = [[
  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.)))
  
  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 {
  centerHigherConsole();
  myTruth(bla);
  set englishToConceptLanguage_hygienicParsing;
  lispStandardEvaluators();
  alwaysRules_standardHandlers();
  
  // Quick check for evaluators
  assertTrue(callLispEvaluator(englishToLisp("5 > 3")));
  assertFalse(callLispEvaluator(englishToLisp("3 > 5")));
  
  emit(englishToLisp("Concept cwvffbyvwmafomuq was touched at " + now() + "."));
  //set applyRule_all_debug;
  applyAlwaysRules(100);
  printLispStatements();
}