The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle eats the bear. The bald eagle is green. The bear eats the bald eagle. The squirrel is green. The squirrel sees the bear. If something eats the squirrel and the squirrel sees the bear then the bear eats the bald eagle. If something chases the squirrel and the squirrel chases the bear then it sees the bald eagle. If something chases the bear and the bear sees the bald eagle then the bald eagle eats the squirrel.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something eats the squirrel and the squirrel sees the bear then the bear eats the bald eagle.
((("something" "eats" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something chases the squirrel and the squirrel chases the bear then it sees the bald eagle.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the bear and the bear sees the bald eagle then the bald eagle eats the squirrel.
((("something" "chases" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
The bald eagle chases the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "eats" "bear" "-")
triple3
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the bear.[(triple3)] The bald eagle is green.[(triple4)] The bear eats the bald eagle.[(triple5)] The squirrel is green.[(triple6)] The squirrel sees the bear.[(triple7)]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7