!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();

  // Set-up & quick evaluator check
  myTruth(bla);
  assertTrue(callLispEvaluator(englishToLisp("5 > 3")));
  assertFalse(callLispEvaluator(englishToLisp("3 > 5")));
  
  // Add information & think
  emit_english("Concept cwvffbyvwmafomuq was touched at " + now() + ".");
  applyAlwaysRules(100);
  
  // Print
  //printLispStatements();
  printEnglishStatements();
}