The bald eagle likes the lion. The lion is green. The lion likes the bald eagle. The lion likes the tiger. The lion needs the tiger. The tiger eats the lion. The tiger needs the bald eagle. If someone likes the tiger and the tiger eats the bald eagle then they need the bald eagle.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone likes the tiger and the tiger eats the bald eagle then they need the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
The lion likes the bald eagle.
True
1
proof
[(triple3)]
("lion" "likes" "bald eagle" "+")
triple3
The lion does not need the tiger.
False
1
inv-proof
[(triple5)]
("lion" "needs" "tiger" "-")
triple5
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle likes the lion.[(triple1)] The lion is green.[(triple2)] The lion likes the bald eagle.[(triple3)] The lion likes the tiger.[(triple4)] The lion needs the tiger.[(triple5)] The tiger eats the lion.[(triple6)] The tiger needs the bald eagle.[(triple7)]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple6
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple7