The bald eagle is kind. The bald eagle likes the mouse. The bald eagle visits the cow. The bear is rough. The bear visits the cow. The cow chases the mouse. The cow likes the bald eagle. The cow likes the mouse. The mouse chases the bear. The mouse visits the bear. If something is red and kind then it visits the mouse. If something chases the mouse then the mouse visits the bald eagle. If the mouse visits the bald eagle then the bald eagle chases the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something is red and kind then it visits the mouse.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "visits" "mouse" "+"))
If something chases the mouse then the mouse visits the bald eagle.
((("something" "chases" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If the mouse visits the bald eagle then the bald eagle chases the mouse.
((("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The bald eagle likes the mouse.
True
1
proof
[(triple2)]
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle does not like the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "mouse" "-")
triple2
The mouse visits the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("mouse" "visits" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse does not visit the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("mouse" "visits" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle chases the mouse.
True
3
proof
[(((((triple6) -> rule2)) -> rule3))]
("bald eagle" "chases" "mouse" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle does not chase the mouse.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule3))]
("bald eagle" "chases" "mouse" "-")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bear visits the mouse.
Unknown
rconc
[@1: The bear visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "mouse" "+")
The cow does not visit the mouse.
Unknown
inv-rconc
[@1: The cow visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bald eagle visits the bear.
Unknown
random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear is rough.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the mouse.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse visits the bear.[(triple10)] @1: The mouse visits the bald eagle.[(((triple6) -> rule2))] @2: The bald eagle chases the mouse.[(((((triple6) -> rule2)) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2