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

}