C:\logicagent>ruby logicbot.rb
Hello
I have loaded C:/logicagent/logicagent-api.yaml.

> reset graph
Okay, I have reset the graph.

> logicagent: if input =~ /(.*) are not (.*)\.?/ then self.send("delete #{$1} is #{$2}") end
Okay I have added if input =~ /(.*) are not (.*)\.?/ then self.send("delete #{$1} is #{$2}") end.

> Socrates is a man.
Okay, Socrates is a man.

> All men are immortal.
Okay, All men are immortal.

> All men includes a man.
Okay, All men includes a man.

> is Socrates immortal?
Yes, Socrates is immortal.

> why is Socrates immortal?
Socrates is immortal because: socrates is a man, and a man is a member of all me
n, and all men are immortal

> All men are not immortal.
Okay, All men is not immortal.

> is Socrates immortal?
I have no knowledge that Socrates is immortal.

> show graph
all men includes a man
all men is_not immortal
socrates is a man
a man is a member of all men

>