The bald eagle is kind. The bald eagle needs the tiger. The bear is rough. The bear likes the bald eagle. The bear needs the tiger. The lion eats the bear. The tiger is rough. If someone is kind then they like the bald eagle. If someone needs the bear and they are cold then they like the tiger. If someone likes the bald eagle then they eat the lion.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone is kind then they like the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone needs the bear and they are cold then they like the tiger.
((("someone" "needs" "bear" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the bald eagle then they eat the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "lion" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple2)]
("bald eagle" "needs" "tiger" "+")
triple2
The bear does not like the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "likes" "bald eagle" "-")
triple4
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bear does not eat the lion.
False
2
inv-proof
[(((triple4) -> rule3))]
("bear" "eats" "lion" "-")
((triple4) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bald eagle eats the lion.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("bald eagle" "eats" "lion" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle does not eat the lion.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("bald eagle" "eats" "lion" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The tiger does not like the bald eagle.
Unknown
inv-rconc
[@1: The tiger likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "bald eagle" "-")
The bear likes the tiger.
Unknown
rconc
[@1: The bear likes the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "tiger" "+")
The lion does not like the bald eagle.
Unknown
inv-rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "bald eagle" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bear is rough.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear needs the tiger.[(triple5)] The lion eats the bear.[(triple6)] The tiger is rough.[(triple7)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule1))] The bear eats the lion.[(((triple4) -> rule3))] @2: The bald eagle eats the lion.[(((((triple1) -> rule1)) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
((triple4) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2