Rule srfxksiewfutytnx

input(where is $John?)
  => sayIfTrue($John is $in_the_playground)

Loaded as

[id: srfxksiewfutytnx] input(where is $John?) && fact($John is $in_the_playground) => output($John is $in_the_playground)