The bald eagle eats the bear. The bear is green. The lion sees the bear. The squirrel is green. If someone is green and they see the squirrel then the squirrel eats the lion. If the bald eagle sees the bear and the bald eagle is red then the bald eagle eats the bear. If the squirrel eats the bear then the bear is green. If someone eats the lion then the lion eats the squirrel. If someone is big and blue then they eat the bear. If someone eats the bald eagle and the bald eagle sees the squirrel then they visit the bear. If someone is young and they see the bear then they see the squirrel. If someone visits the squirrel and they visit the bear then the bear eats the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear is green.
("bear" "is" "green" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is green and they see the squirrel then the squirrel eats the lion.
((("someone" "is" "green" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "lion" "+"))
If the bald eagle sees the bear and the bald eagle is red then the bald eagle eats the bear.
((("bald eagle" "sees" "bear" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "eats" "bear" "+"))
If the squirrel eats the bear then the bear is green.
((("squirrel" "eats" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone eats the lion then the lion eats the squirrel.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
If someone is big and blue then they eat the bear.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bald eagle and the bald eagle sees the squirrel then they visit the bear.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("someone" "visits" "bear" "+"))
If someone is young and they see the bear then they see the squirrel.
((("someone" "is" "young" "+") ("someone" "sees" "bear" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the squirrel and they visit the bear then the bear eats the bald eagle.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
The lion sees the bear.
True
1
proof
[(triple3)]
("lion" "sees" "bear" "+")
triple3
The squirrel is not green.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "green" "-")
triple4
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The bear eats the squirrel.
Unknown
random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "+")
@0: The bald eagle eats the bear.[(triple1)] The bear is green.[(triple2)] The lion sees the bear.[(triple3)] The squirrel is green.[(triple4)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The lion sees the bear.
("lion" "sees" "bear" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4