sh-3.2# ruby logicbot.rb
Hello
I have loaded /Users/bob/logicagent/logicagent-api.yaml.

> logicagent: load rules from miscellaneous_rules.txt
Okay, miscellaneous_rules.txt read; 2 rules.

> All Duke students are humans.
Okay, All Duke students are humans.

> All humans are animals.
Okay, All humans are animals.

> Therefore, all Duke students are animals.
I have no knowledge that all Duke students are animals.

> all humans includes humans
Okay, all humans includes humans.

> Therefore, all Duke students are animals.
Yes, all Duke students are animals.

> Why are "all Duke students" "animals"?
all Duke students are animals because: all duke students are humans, and humans are a member of all humans, and all humans are animals

> Some Duke students are humans.
Okay, Some Duke students are humans.

> All humans are animals.
Okay, All humans are animals.

> Therefore, some Duke students are animals.
Yes, some Duke students are animals.

> Why are "some Duke students" "animals"?
some Duke students are animals because: some duke students are humans, and humans are a member of all humans, and all humans are animals

> Some Duke students are human.
Okay, Some Duke students are human.

> All humans are animals.
Okay, All humans are animals.

> Therefore, all Duke students are animals.
Yes, all Duke students are animals.

> Why are "all Duke students" "animals"?
all Duke students are animals because: all duke students are humans, and humans are a member of all humans, and all humans are animals

> forget that All Duke students are humans 
Okay I have forgotten All Duke students are humans.

> Therefore, all Duke students are animals.
I have no knowledge that all Duke students are animals.

t all humans are animals 
Okay I have forgotten all humans are animals.

> Some Duke students are humans.
Okay, Some Duke students are humans.

> Some humans are animals.
Okay, Some humans are animals.

> humans = human
Okay, humans = human.

> Therefore, some Duke students are animals.
I have no knowledge that some Duke students are animals.

> print graph
some duke students are humans
some duke students are human
human = humans
human = human
some humans are animals
therefore, some duke students are animals
humans are a member of all humans
humans = human
humans = humans
therefore, all duke students are animals
all humans includes humans

> forget that therefore, some duke students are animals.
I have no knowledge that some duke students are animals.