The bald eagle does not see the tiger. The bear likes the lion. The bear likes the tiger. The bear needs the bald eagle. The bear does not need the tiger. The bear sees the lion. The lion is blue. The lion sees the bald eagle. The lion sees the bear. The tiger is blue. The tiger is cold. The tiger needs the lion. If the bear likes the bald eagle and the bear is not cold then the bald eagle needs the lion. If the lion is not cold then the lion sees the bear. If something sees the bear and the bear needs the tiger then it likes the tiger.
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If the bear likes the bald eagle and the bear is not cold then the bald eagle needs the lion.
((("bear" "likes" "bald eagle" "+") ("bear" "is" "cold" "~")) -> ("bald eagle" "needs" "lion" "+"))
If the lion is not cold then the lion sees the bear.
((("lion" "is" "cold" "~")) -> ("lion" "sees" "bear" "+"))
If something sees the bear and the bear needs the tiger then it likes the tiger.
((("something" "sees" "bear" "+") ("bear" "needs" "tiger" "+")) -> ("something" "likes" "tiger" "+"))
The bear likes the lion.
True
1
proof
[(triple2)]
("bear" "likes" "lion" "+")
triple2
The tiger does not need the lion.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "lion" "-")
triple12
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle does not see the tiger.[(triple1)] The bear does not need the tiger.[(triple5)] The bear likes the lion.[(triple2)] The bear likes the tiger.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear sees the lion.[(triple6)] The lion is blue.[(triple7)] The lion sees the bald eagle.[(triple8)] The lion sees the bear.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the lion.[(triple12)]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple1
The bear does not need the tiger.
("bear" "needs" "tiger" "-")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear sees the lion.
("bear" "sees" "lion" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12