The bald eagle chases the mouse. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse chases the squirrel. The mouse is nice. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel likes the bald eagle. The squirrel visits the bald eagle. The squirrel visits the mouse. If someone likes the mouse and the mouse is round then the mouse likes the squirrel. If someone is red and they visit the squirrel then the squirrel likes the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone likes the mouse and the mouse is round then the mouse likes the squirrel.
((("someone" "likes" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone is red and they visit the squirrel then the squirrel likes the bald eagle.
((("someone" "is" "red" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
The mouse chases the squirrel.
True
1
proof
[(triple4)]
("mouse" "chases" "squirrel" "+")
triple4
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "squirrel" "-")
triple3
The mouse does not like the squirrel.
Unknown
inv-rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "squirrel" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is nice.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel likes the bald eagle.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the mouse.[(triple10)]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10