The bald eagle eats the rabbit. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the rabbit. The bear chases the lion. The lion chases the rabbit. The lion does not eat the bear. The lion eats the rabbit. The rabbit does not chase the bald eagle. The rabbit does not eat the lion. The rabbit is green. The rabbit is nice. If something needs the bald eagle then the bald eagle needs the rabbit. If something needs the rabbit then it needs the lion. If something needs the bald eagle and the bald eagle needs the bear then it needs the bear. If something eats the bald eagle then it chases the lion. If something is red then it chases the rabbit. All green things are rough.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If something needs the bald eagle then the bald eagle needs the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
If something needs the rabbit then it needs the lion.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "lion" "+"))
If something needs the bald eagle and the bald eagle needs the bear then it needs the bear.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "bear" "+")) -> ("something" "needs" "bear" "+"))
If something eats the bald eagle then it chases the lion.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "lion" "+"))
If something is red then it chases the rabbit.
((("something" "is" "red" "+")) -> ("something" "chases" "rabbit" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple3)]
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle does not need the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "bear" "-")
triple3
The bald eagle needs the lion.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "needs" "lion" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not chase the rabbit.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "chases" "rabbit" "-")
((triple2) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "bear" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bear chases the lion.[(triple5)] The lion chases the rabbit.[(triple6)] The lion does not eat the bear.[(triple7)] The lion eats the rabbit.[(triple8)] The rabbit does not chase the bald eagle.[(triple9)] The rabbit does not eat the lion.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] @1: The bald eagle chases the rabbit.[(((triple2) -> rule5))] The bald eagle needs the lion.[(((triple4) -> rule2))] The rabbit is rough.[(((triple11) -> rule6))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple8
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple9
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple2) -> (rule5 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple11) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1