!7

sS program = [[
  // facts
  heard(question)
  heard(not a question)
  
  // rule
  heard(X) + heard(not a X) -> distinction(X, not a X)
  
  rewrite
  
  // check inspiration :o)
  assert distinction(question, not a question)
]];

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