[id: zbuzcdiyslffcfgr] i(give me a $naughty $word) && fact[random]($x is a $naughty $word) => o($x)
[id: zbuzcdiyslffcfgr] input(give me a $naughty $word|give me an $naughty $word) && fact($x is a $naughty $word|$x is an $naughty $word) => output($x)