Rule grccbxhkrisdnkhc

[id: grccbxhkrisdnkhc] i(can you $walk_on_water?)
&& fact(nobody can $walk_on_water)
=> say(no. nobody can $walk_on_water)

Loaded as

[id: grccbxhkrisdnkhc] input(can you $walk_on_water?) && fact(nobody can $walk_on_water) => say(no. nobody can $walk_on_water)