[id: ehfkxezqqcpxdzlq] input(Are you an $bot?) && fact(I am not a $machine) && fact(a $bot is similar to a $machine) => output(No, I am not a $machine.)
[id: ehfkxezqqcpxdzlq] input(Are you a $bot?|Are you an $bot?) && fact(I am not a $machine|I am not an $machine) && fact(a $bot is similar to a $machine|an $bot is similar to a $machine|a $bot is similar to an $machine|an $bot is similar to an $machine) => output(No, I am not a $machine.)