The bald eagle likes the bear. The bear sees the lion. The lion needs the bear. If someone likes the lion and they see the bear then the lion needs the bald eagle. If someone is big then they see the bald eagle. If the bald eagle is big and the bald eagle is green then the bald eagle sees the lion. If someone sees the bald eagle then they are cold. If the bald eagle sees the bear and the bald eagle sees the lion then the bear needs the lion. If someone needs the bear then the bear is big. If someone is rough and they need the lion then the lion likes the bear. If someone is big and they like the lion then they see the bald eagle.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone likes the lion and they see the bear then the lion needs the bald eagle.
((("someone" "likes" "lion" "+") ("someone" "sees" "bear" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone is big then they see the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the bald eagle is big and the bald eagle is green then the bald eagle sees the lion.
((("bald eagle" "is" "big" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone sees the bald eagle then they are cold.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If the bald eagle sees the bear and the bald eagle sees the lion then the bear needs the lion.
((("bald eagle" "sees" "bear" "+") ("bald eagle" "sees" "lion" "+")) -> ("bear" "needs" "lion" "+"))
If someone needs the bear then the bear is big.
((("someone" "needs" "bear" "+")) -> ("bear" "is" "big" "+"))
If someone is rough and they need the lion then the lion likes the bear.
((("someone" "is" "rough" "+") ("someone" "needs" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone is big and they like the lion then they see the bald eagle.
((("someone" "is" "big" "+") ("someone" "likes" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
The lion needs the bear.
True
1
proof
[(triple3)]
("lion" "needs" "bear" "+")
triple3
The bear does not see the lion.
False
1
inv-proof
[(triple2)]
("bear" "sees" "lion" "-")
triple2
The bear is big.
True
2
proof
[(((triple3) -> rule6))]
("bear" "is" "big" "+")
((triple3) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple3) -> rule6))]
("bear" "is" "big" "-")
((triple3) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the bald eagle.
True
3
proof
[(((((triple3) -> rule6)) -> rule2))]
("bear" "sees" "bald eagle" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear does not see the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule2))]
("bear" "sees" "bald eagle" "-")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle is cold.
Unknown
rconc
[@2: The bald eagle is cold.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bear does not need the lion.
Unknown
inv-rconc
[@1: The bear needs the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "lion" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The lion sees the bear.
Unknown
random
[@0: The lion sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bear" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear sees the lion.[(triple2)] The lion needs the bear.[(triple3)] @1: The bear is big.[(((triple3) -> rule6))] @2: The bear sees the bald eagle.[(((((triple3) -> rule6)) -> rule2))] @3: The bear is cold.[(((((((triple3) -> rule6)) -> rule2)) -> rule4))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple2
The lion needs the bear.
("lion" "needs" "bear" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
((triple3) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3