!7

sS program = [[
  // facts
  heard[question]
  heard[not a question]
  
  // rule
  heard[X] + heard[not a X] -> distinction[X, not a X]
  
  rewrite
  
  // check rule result
  assert distinction[question, not a question]
]];

p-experiment-tt {
  new RuleEngine(program, true).printStuff();
}