The bald eagle needs the squirrel. The bear chases the squirrel. The rabbit needs the bald eagle. The squirrel chases the bear. If someone likes the bear then they need the rabbit.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
If someone likes the bear then they need the rabbit.
((("someone" "likes" "bear" "+")) -> ("someone" "needs" "rabbit" "+"))
The rabbit needs the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "needs" "bald eagle" "+")
triple3
The bear does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "chases" "squirrel" "-")
triple2
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit chases the bear.
Unknown
random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The bear chases the squirrel.[(triple2)] The rabbit needs the bald eagle.[(triple3)] The squirrel chases the bear.[(triple4)]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple4