[id: uaxmjstjlfdnocjc] input(Are you a $bot?) && fact(I am a $machine) && fact(a $bot is similar to a $machine) => output(Yes, I am a $machine.)
[id: uaxmjstjlfdnocjc] input(Are you a $bot?|Are you an $bot?) && fact(I am a $machine|I am 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(Yes, I am a $machine.)