The bald eagle is young. The bald eagle sees the cat. The bald eagle sees the mouse. The cat chases the bald eagle. The cat is young. The mouse is kind. The squirrel sees the cat. If the squirrel chases the bald eagle and the squirrel does not chase the mouse then the mouse chases the squirrel. If someone sees the squirrel and they eat the mouse then they chase the bald eagle. If the mouse eats the bald eagle and the mouse does not eat the cat then the cat sees the mouse. If the mouse does not chase the cat and the cat is not green then the cat does not see the mouse. If someone sees the mouse then they see the cat. If the cat sees the mouse then the cat sees the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is young.
("cat" "is" "young" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the squirrel chases the bald eagle and the squirrel does not chase the mouse then the mouse chases the squirrel.
((("squirrel" "chases" "bald eagle" "+") ("squirrel" "chases" "mouse" "~")) -> ("mouse" "chases" "squirrel" "+"))
If someone sees the squirrel and they eat the mouse then they chase the bald eagle.
((("someone" "sees" "squirrel" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the mouse eats the bald eagle and the mouse does not eat the cat then the cat sees the mouse.
((("mouse" "eats" "bald eagle" "+") ("mouse" "eats" "cat" "~")) -> ("cat" "sees" "mouse" "+"))
If the mouse does not chase the cat and the cat is not green then the cat does not see the mouse.
((("mouse" "chases" "cat" "~") ("cat" "is" "green" "~")) -> ("cat" "sees" "mouse" "-"))
If someone sees the mouse then they see the cat.
((("someone" "sees" "mouse" "+")) -> ("someone" "sees" "cat" "+"))
If the cat sees the mouse then the cat sees the bald eagle.
((("cat" "sees" "mouse" "+")) -> ("cat" "sees" "bald eagle" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple4)]
("cat" "chases" "bald eagle" "+")
triple4
The bald eagle does not see the cat.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule5))]
("bald eagle" "sees" "cat" "-")
triple2
((triple3) -> (rule5 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle sees the cat.[(triple2 OR ((triple3) -> rule5))] The bald eagle sees the mouse.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is young.[(triple5)] The mouse is kind.[(triple6)] The squirrel sees the cat.[(triple7)]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
((triple3) -> (rule5 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple7