The bald eagle is blue. The mouse likes the bald eagle. The squirrel eats the mouse. If someone eats the bald eagle and the bald eagle needs the mouse then they eat the squirrel. If someone eats the mouse and the mouse likes the squirrel then they eat the squirrel. If someone is round and they like the bald eagle then the bald eagle is green. If the bald eagle needs the squirrel then the squirrel needs the bald eagle. If the mouse needs the bald eagle and the bald eagle eats the mouse then the bald eagle is red. If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the squirrel is young. If someone needs the mouse then they eat the mouse. If someone eats the squirrel and they eat the mouse then the squirrel is round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
If someone eats the bald eagle and the bald eagle needs the mouse then they eat the squirrel.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the mouse and the mouse likes the squirrel then they eat the squirrel.
((("someone" "eats" "mouse" "+") ("mouse" "likes" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is round and they like the bald eagle then the bald eagle is green.
((("someone" "is" "round" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the bald eagle needs the squirrel then the squirrel needs the bald eagle.
((("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If the mouse needs the bald eagle and the bald eagle eats the mouse then the bald eagle is red.
((("mouse" "needs" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "is" "red" "+"))
If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the squirrel is young.
((("bald eagle" "eats" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "is" "young" "+"))
If someone needs the mouse then they eat the mouse.
((("someone" "needs" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the squirrel and they eat the mouse then the squirrel is round.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "mouse" "+")) -> ("squirrel" "is" "round" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple2)]
("mouse" "likes" "bald eagle" "+")
triple2
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple3)]
("squirrel" "eats" "mouse" "-")
triple3
The squirrel is not young.
Unknown
inv-rconc
[@2: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bald eagle is blue.[(triple1)] The mouse likes the bald eagle.[(triple2)] The squirrel eats the mouse.[(triple3)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple3