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