[id: tioogldcsczdggoy] i(do you believe in $ai) && fact(I am an $ai) => o(Sure. I believe in myself.)
[id: tioogldcsczdggoy] input(do you believe in $ai) && fact(I am a $ai|I am an $ai) => output(Sure. I believe in myself.)