The bald eagle is kind. The bald eagle likes the lion. The bald eagle needs the tiger. The bear is big. The lion is red. The lion is round. The lion likes the bald eagle. The lion likes the bear. The lion likes the tiger. The tiger is kind. If something is red and big then it needs the bear. If something visits the lion then it is blue. If something likes the lion then it is blue. If something needs the tiger then the tiger visits the lion. If something needs the bald eagle and the bald eagle likes the bear then it is red. If something likes the bald eagle then it is red.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something is red and big then it needs the bear.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "needs" "bear" "+"))
If something visits the lion then it is blue.
((("something" "visits" "lion" "+")) -> ("something" "is" "blue" "+"))
If something likes the lion then it is blue.
((("something" "likes" "lion" "+")) -> ("something" "is" "blue" "+"))
If something needs the tiger then the tiger visits the lion.
((("something" "needs" "tiger" "+")) -> ("tiger" "visits" "lion" "+"))
If something needs the bald eagle and the bald eagle likes the bear then it is red.
((("something" "needs" "bald eagle" "+") ("bald eagle" "likes" "bear" "+")) -> ("something" "is" "red" "+"))
If something likes the bald eagle then it is red.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "red" "+"))
The bear is big.
True
1
proof
[(triple4)]
("bear" "is" "big" "+")
triple4
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle is blue.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "is" "blue" "-")
((triple2) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The tiger is blue.
True
3
proof
[(((((triple3) -> rule4)) -> rule2))]
("tiger" "is" "blue" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2
The tiger is not blue.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule2))]
("tiger" "is" "blue" "-")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2
The tiger does not need the bear.
Unknown
inv-rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "bear" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "red" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bear is big.[(triple4)] The lion is red.[(triple5 OR ((triple7) -> rule6))] The lion is round.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the tiger.[(triple9)] The tiger is kind.[(triple10)] @1: The bald eagle is blue.[(((triple2) -> rule3))] The tiger visits the lion.[(((triple3) -> rule4))] @2: The tiger is blue.[(((((triple3) -> rule4)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
((triple7) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
((triple3) -> (rule4 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2