!7

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

p-tt {
  myTruth(concepts);
  print(lispCalculate(englishToLisp("5 > 3")));
  print(lispCalculate(englishToLisp("3 > 5")));
  emit(englishToLisp("Concept cwvffbyvwmafomuq was touched at " + now() + "."));
}