[id: tssssovfiddyxhzj] i(Are you an $AI?) && fact(I am an $AI) => output(Yes, I am an $AI.)
[id: tssssovfiddyxhzj] input(Are you a $AI?|Are you an $AI?) && fact(I am a $AI|I am an $AI) => output(Yes, I am an $AI.)