User input is on lines with the :-prompt; CASSIE's output is on the lines that follow.
: John petted a yellow cat.
I understand that John petted a yellow cat
: The cat is a manx.
I understand that the yellow cat is a manx
: What did John pet?
John petted a yellow cat
: The dog is a mammal.
I understand that dogs are mammals
: For every d if d is a dog then there is a b such that b is a boy and b owns d.
I understand that for every d, if d is a dog
then there exists a b such that b is a boy
and
b owns d
: Young Lucy petted a yellow dog.
I understand that young Lucy petted a yellow dog
: The boy saw her.
I understand that the boy saw young Lucy
: The boy is named Bill.
I understand that Bill is the boy
: He is clever.
I understand that Bill is clever
: He loved Lucy.
I understand that clever Bill loved young Lucy
: Who was loved by him?
young Lucy was loved by clever Bill
: Who is young?
Lucy is young
: Who is clever?
Bill is clever
: What is yellow?
a cat is yellow
and
a dog is yellow
: Lucy is a girl.
I understand that young Lucy is a girl
: What did she pet?
young Lucy petted a yellow dog
: Girls are people.
I understand that girls are people
: What was petted by a person?
a yellow dog was petted by young Lucy
: John is a boy.
I understand that John is a boy
: Boys are people.
I understand that boys are people
: What was petted by a person?
a yellow dog was petted by young Lucy
and
a yellow cat was petted by John
: Dogs are animals.
I understand that dogs are animals
: They are smart.
I understand that for every v9, if v9 is a dog
then presumably v9 is smart
: Who petted an animal?
young Lucy petted a yellow dog
: The dog is named Rover.
I understand that Rover is the yellow dog
: Who owns Rover?
clever Bill owns yellow Rover
: Who is smart?
yellow Rover is smart
: What was petted by a person?
smart yellow Rover was petted by young Lucy
and
a yellow cat was petted by John
: Lucy is sweet.
I understand that young Lucy is sweet
: Who loved her?
clever Bill loved sweet young Lucy
: Dogs are pets.
I understand that dogs are pets
: For every p and d if p is a person and d is a pet then p loves d.
I understand that for every d and p, if p is a person
and
d is a pet
then p loves d
: Who loves a pet?
sweet young Lucy loves smart yellow Rover
and
clever Bill loves smart yellow Rover
and
John loves smart yellow Rover
: Tall Bob likes himself.
I understand that tall Bob likes tall Bob
: He dislikes John.
I understand that tall Bob dislikes John
: He hates him.
I understand that tall Bob hates John
: Bob saw a professor.
I understand that tall Bob saw a professor
: She is smart.
I understand that a professor is smart
: She likes him.
I understand that a smart professor likes tall Bob
: Lucy believes that John is rich.
I understand that sweet young Lucy believes that John is rich
: Who is rich?
I don't know.
: Lucy believes that John is old.
I understand that sweet young Lucy believes that rich John is old
: Lucy believes of Bill that he is stupid.
I understand that sweet young Lucy believes of clever Bill that he is stupid
: Lucy believes that she is rich.
I understand that sweet young Lucy believes that she* is rich
(For more information, see the next page.)