Rule rbmxmpndoxuszibq

[id: rbmxmpndoxuszibq] i(can you add two numbers?)
  && $a, $b, $c = eval(
    int x = random(1000000), y = random(1000000); ret triple(x, y, x+y);
  ) => o($a + $b = $c)
  && fact(I just added some numbers)

Loaded as

[id: rbmxmpndoxuszibq] input(can you add two numbers?) && $a, $b, $c = eval(
    int x = random(1000000), y = random(1000000); ret triple(x, y, x+y);
  ) => output($a + $b = $c) && fact(I just added some numbers)